Verifying pointer and string analyses with region type systems.

Lennart Beringer Robert Grabowski Martin Hofmann

Published in: Comput. Lang. Syst. Struct. (2013)

Keyphrases

data structure
distributed systems
image sequences
knowledge based systems
database
real time
web services
digital libraries
management system
computer systems
complex systems