Modular Denotational Semantics for Compiler Construction.

Sheng Liang Paul Hudak

Published in: ESOP (1996)

Keyphrases

denotational semantics
programming language
object oriented
general purpose
high level
query language
software engineering
abstract data types
database
multi agent systems