Recursive Programs and Denotational Semantics in Absolute Logics of Programs.

Published in: Theor. Comput. Sci. (1990)

Keyphrases

recursive programs
denotational semantics
program synthesis
logic programs
transformation rules
programming language
query language
expressive power
logic programming
operational semantics
modal logic
abstract data types
general purpose
inference rules
machine learning
source code
high level