Reasoning About Programs in Continuation-Passing Style.

Amr Sabry Matthias Felleisen

Published in: LISP and Functional Programming (1992)

Keyphrases

computer programs
formal theory
database
data sets
qualitative reasoning
control program
social networks
information systems
data structure
search algorithm
user interface
answer sets
programming environment
stable models
qualitative spatial