Reasoning about Programs in Continuation-Passing Style.

Amr Sabry Matthias Felleisen

Published in: LISP Symb. Comput. (1993)

Keyphrases

qualitative reasoning
database systems
formal theory
prolog programs
multiscale
evolutionary algorithm
computer programs
programming environment
causal reasoning
authorship attribution