A generative methodology for the design of abstract machines

DOI10.1016/S0167-6423(99)00047-7MaRDI QIDQ1581064zbMATH OpenWikidataFDO

Authors 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)

Recommendations

• Abstracting abstract machines
• Systematic abstraction of abstract machines
• Distilling abstract machines
• Towards a methodology for the design of abstract machines for logic programming languages
• Optimizing abstract abstract machines

Cited in

(4)

• Distilling abstract machines
• Logic Programming
• scientific article; zbMATH DE number 4155853 (Why is no real title available?)
• Natural semantics-directed generation of compilers and abstract machines

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1581064)