A Framework for Programming Denotational Semantics in C++.

Nikolaos Papaspyrou

Published in: ACM SIGPLAN Notices (1996)

Keyphrases

programming language
denotational semantics
query processing