The Vienna abstract machine

DOI10.1016/S0743-1066(96)00064-7zbMATH Open0877.68022OpenAlexW2000121592MaRDI QIDQ4339848FDOQ4339848

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

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

zbMATH Keywords

Prolog implementationsVienna Abstract Machine

Mathematics Subject Classification ID

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

Cited In (5)

• The YAP prolog system
• The linear abstract machine
• Description and optimization of abstract machines in a dialect of Prolog
• Towards Description and Optimization of Abstract Machines in an Extension of Prolog
• 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)