The York Abstract Machine

DOI10.1016/J.ENTCS.2008.04.045MaRDI QIDQ5404181zbMATH OpenOpenAlexFDO

Authors Greg Manning, Detlef Plump

Publication date 21 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.04.045

zbMATH Keywords

nondeterminismbacktrackinggraph transformationabstract machinesGP

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)

Recommendations

• The Vienna abstract machine
• The linear abstract machine
• Abstracting abstract machines
• Distilling abstract machines
• scientific article; zbMATH DE number 1748284
• The linear logical abstract machine
• scientific article; zbMATH DE number 3952011
• The categorical abstract machine
• scientific article; zbMATH DE number 1760142
• scientific article; zbMATH DE number 1823194

Cites work

• scientific article; zbMATH DE number 1629836 (Why is no real title available?)
• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation

Cited in

(3)

• Theorem proving graph grammars with attributes and negative application conditions
• The Vienna abstract machine
• Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data

Describes a project that uses

Uses Software

• PROGRES

This page was built for publication: The York Abstract Machine

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