William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein. Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. In Walid Mohamed Taha, editor, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings. Volume 5658 of Lecture Notes in Computer Science, pages 20-44, Springer, 2009. [doi]
Abstract is missing.