The Vienna abstract machine

DOI10.1016/S0743-1066(96)00064-7MaRDI QIDQ4339848zbMATH OpenOpenAlexFDO

Authors Andreas Krall

Publication date 8 December 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(96)00064-7

zbMATH Keywords

Prolog implementationsVienna Abstract Machine

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• The linear abstract machine
• Abstracting abstract machines
• scientific article; zbMATH DE number 3952011
• The categorical abstract machine
• The linear logical abstract machine
• The York Abstract Machine
• Systematic abstraction of abstract machines
• THE ABSTRACT THEORY OF AUTOMATA
• scientific article; zbMATH DE number 2090723
• Verification, Model Checking, and Abstract Interpretation

Cited in

(5)

• Description and optimization of abstract machines in a dialect of Prolog
• The linear abstract machine
• Towards Description and Optimization of Abstract Machines in an Extension of Prolog
• The YAP prolog system
• The York Abstract Machine

This page was built for publication: The Vienna abstract machine

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