CIA Structures and the Semantics of Recursion.

Stefan Milius Lawrence S. Moss Daniel Schwencke

Published in: FoSSaCS (2010)

Keyphrases

formal semantics
logic programming
semantic information
transitive closure
specification language
transformation rules
hierarchical structures