Deriving Stack Semantics Congruent to Standard Denotational Semantics.

Véronique Royer

Published in: STACS (1985)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
artificial intelligence
object oriented
data management
logic programming
r tree