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

• Authors:

• Sam Weber;Bard Bloom;Geoffrey Brown

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the REX Workshop on Sematics: Foundations and Applications
• Year:
• 1992