Pure pointer programs with iteration.

Martin Hofmann Ulrich Schöpp

Published in: ACM Trans. Comput. Log. (2010)

Keyphrases

data structure
information technology
computer programs
provably correct
database
face recognition
programming environment
fixpoint
stable models
program execution