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

Sam Weber, Bard Bloom, Geoffrey Brown. Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Volume 666 of Lecture Notes in Computer Science, pages 639-659, Springer, 1992.

Authors

Sam Weber

This author has not been identified. Look up 'Sam Weber' in Google

Bard Bloom

This author has not been identified. Look up 'Bard Bloom' in Google

Geoffrey Brown

This author has not been identified. Look up 'Geoffrey Brown' in Google