Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics.

Sam Weber Bard Bloom Geoffrey Brown

Published in: REX Workshop (1992)

Keyphrases

operational semantics
databases