Denotational Semantics and Rewrite Rules for FP.

Joseph Y. Halpern John H. Williams Edward L. Wimmers Timothy C. Winkler

Published in: POPL (1985)

Keyphrases

rewrite rules
denotational semantics
programming language
rewriting rules
operational semantics
transformation rules
query language
consistency constraints
complex queries
abstract data types
sql queries
preprocessing
object oriented
query optimization
formal semantics