A generative methodology for the design of abstract machines

DOI10.1016/S0167-6423(99)00047-7zbMath0957.68030WikidataQ57263205 ScholiaQ57263205MaRDI QIDQ1581064

Stephan Diehl

Publication date: 14 September 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

abstract machinessemantics-directed generator

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

This page was built for publication: A generative methodology for the design of abstract machines