A generative methodology for the design of abstract machines

DOI10.1016/S0167-6423(99)00047-7zbMATH Open0957.68030WikidataQ57263205 ScholiaQ57263205MaRDI QIDQ1581064FDOQ1581064

Authors: Stephan Diehl 

Publication date: 14 September 2000

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

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

zbMATH Keywords

abstract machinessemantics-directed generator

Mathematics Subject Classification ID

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

Cited In (4)

• Distilling abstract machines
• Logic Programming
• Natural semantics-directed generation of compilers and abstract machines
• Title not available (Why is that?)

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)