Fold and Unfold for Program Semantics.

Published in: ICFP (1998)

Keyphrases

intended meaning
semantically equivalent
stable model semantics
logic programming
computer programs
semantic representation
real time
formal semantics
control flow
programming language constructs
information retrieval
object oriented
programming language