The York Abstract Machine

DOI10.1016/j.entcs.2008.04.045zbMath1283.68116OpenAlexW2134949633MaRDI QIDQ5404181

Detlef Plump, Greg Manning

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)

Related Items (1)

Theorem proving graph grammars with attributes and negative application conditions

Uses Software

• PROGRES

Cites Work

• Unnamed Item
• Unnamed Item
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations

This page was built for publication: The York Abstract Machine