Verifying Pointer and String Analyses with Region Type Systems.

Lennart Beringer Robert Grabowski Martin Hofmann

Published in: LPAR (Dakar) (2010)

Keyphrases

data structure
expert systems
management system
intelligent systems
pattern matching
information retrieval
computer vision
computer systems
building blocks
complex systems
computing systems
multiple types