Completion Semantics, Interpreter Generation.

Martin C. Henson Raymond Turner

Published in: POPL (1982)

Keyphrases

generation process
production system
formal semantics
semantic representation
semantic information
logical framework
learning algorithm
artificial intelligence
xml documents
domain knowledge
programming language
wordnet
specification language
operational semantics
model theoretic