Inlining Semantics for Subroutines which are Recursive.

Published in: ACM SIGPLAN Notices (1992)

Keyphrases

formal semantics
logic programming
databases
semantic information
query processing
virtual machine
model theoretic
data sets
social networks
graphical representation
speech acts
recursive queries
recursive functions
logical language