A semantics for procedure local heaps and its abstractions.

Noam Rinetzky Jörg Bauer Thomas W. Reps Shmuel Sagiv Reinhard Wilhelm

Published in: POPL (2005)

Keyphrases

high level
iterative procedure
real time
artificial intelligence
case study
database systems
domain knowledge
logic programming
semantic web
graphical representation