Towards Fully Abstract Semantics for Local Variables.

Albert R. Meyer Kurt Sieber

Published in: POPL (1988)

Keyphrases

semantic information
variable selection
high level
formal semantics
logical language
propositional dynamic logic
learning algorithm
relational databases
higher level
state variables
conceptual graphs
transformation rules