The York Abstract Machine

DOI10.1016/J.ENTCS.2008.04.045zbMATH Open1283.68116OpenAlexW2134949633MaRDI QIDQ5404181FDOQ5404181

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

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

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)

Cites Work

• Title not available (Why is that?)
• Handbook of Graph Grammars and Computing by Graph Transformation
• Title not available (Why is that?)
• Graph Transformations

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

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)