OpenAlex
Verifying Pointer and String Analyses with Region Type Systems
Work
Year: 2010
Type: book-chapter
Source: Lecture notes in computer science
Authors Lennart Beringer, Robert Grabowski, Martin Hofmann
Institutions Princeton University, Ludwig-Maximilians-Universität München
Cites: 36
Cited by: 8
Related to: 10
FWCI: 1.285
Citation percentile (by year/subfield): 68.63
Topic: Security and Verification in Computing
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed