On the call-by-value CPS transform and its semantics.

Carsten Führmann Hayo Thielecke

Published in: Inf. Comput. (2004)

Keyphrases

formal semantics
logic programming
argumentation semantics
databases
real world
artificial intelligence
website
database systems
semantic information
specification language
transformation rules
proof theory