{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:11Z","timestamp":1725456011676},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024180","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T04:49:34Z","timestamp":1132375774000},"page":"121-135","source":"Crossref","is-referenced-by-count":7,"title":["The vienna abstract machine"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Krall","sequence":"first","affiliation":[]},{"given":"Ulrich","family":"Neumerkel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"9_CR1","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1145\/62959.62968","volume":"31","author":"K. Appleby","year":"1988","unstructured":"Appleby, K. et al., \u2018Garbage Collection for Prolog Based on WAM', CACM, 31(6), 719\u2013741, (JUNE 1988).","journal-title":"CACM"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Beer, J., \u2018The Occur-Check Problem Revisited', JLP 5(3), (1988).","DOI":"10.1016\/0743-1066(88)90012-X"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Beer, J., \u2018Concepts, Design, and Performance Analysis of a Parallel Prolog Machine', LNCS, 404, Springer-Verlag, (OCT. 1989).","DOI":"10.1007\/3-540-52053-8"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bell, J.R., \u2018Threaded Code', CACM, 16(6), (1973).","DOI":"10.1145\/362248.362270"},{"key":"9_CR5","unstructured":"Bowen, D.L. & Byrd, L.M. & Clocksin, W.F., \u2018A portable Prolog compiler', Proc. Logic Programm. Workshop, Albufeira, Portugal, (1983)."},{"key":"9_CR6","unstructured":"Bruynooghe, M., \u2018Garbage Collection in Prolog Interpreters', Implementations of Prolog, Campbell (ed.), Ellis Horwood, 259\u2013267, (1984)."},{"key":"9_CR7","unstructured":"Carlsson, M., \u2018Freeze, Indexing and Other Implementation Issues in the WAM', Proc. 4th Int. Conf. Logic Programm., Melbourne, Lassez, J.-L. (ed.), MIT Press, (1987)."},{"key":"9_CR8","unstructured":"Demoen, B. & Mari\u00ebn, A., \u2018Inline expansion versus threaded code', 1654@kulcs.kulcs.uucp, comp.lang.prolog, USENET news, (28 APRIL 1989)."},{"key":"9_CR9","unstructured":"Gelbmann, M., Prolog Interpreter, Diplomarbeit (M.Thesis), Institut f\u00fcr Praktische Informatik, TU Wien,(1984)."},{"key":"9_CR10","unstructured":"Hermengildo, M., \u201cHigh-Performance Prolog Implementation:\u201d \u2014 The WAM and Beyond, Tutorial at ICLP89 Lissabon, (1989)"},{"key":"9_CR11","unstructured":"Krall, A., \u2018Comparing Implementation Techniques for Prolog', VIP TR 1802\/86\/7, TU Wien, (1986)."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Krall, A., \u2018Implementation of a High-Speed Prolog Interpreter', ACM SIGPLAN, Conf. Interpr. and Interpretive Techn., 7(7), (1987).","DOI":"10.1145\/960114.29663"},{"key":"9_CR13","unstructured":"Krall, A., Analyse und Implementierung von Prologsystemen, Dissertation TU Wien, (1988)."},{"key":"9_CR14","unstructured":"K\u00fchn, e. & Ludwig, Th., \u2018VIP-MDBS: A Logic Multidatabase System', IEEE Int. Symp. on Databases in Parallel and Distributed Systems, (1988)."},{"key":"9_CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF03037460","volume":"5","author":"P. Kursawe","year":"1987","unstructured":"Kursawe, P., \u2018How to Invent a Prolog Machine', New Gen. Comp., 5 (1987) 97\u2013114.","journal-title":"New Gen. Comp."},{"key":"9_CR16","unstructured":"Mellish, C.S., \u2018An Alternative to Structure Sharing in the Implementation of a Prolog Interpreter', Logic Programming, Academic Press, (1982)."},{"key":"9_CR17","unstructured":"Neumerkel, U., \u2018Metastrukturen in Prolog', Abschlu\u00dfbericht des Jubil\u00e4umsfondsprojektes Nr.2791 der Oesterr. Nationalbank, (1988); also VIP TR 1802\/88\/4, TU Wien, (1988)."},{"key":"9_CR18","unstructured":"Neumerkel, U., \u2018Extensible Unification by Metastructures', Proc. Meta90, Leuven, Belgium, (1990)."},{"key":"9_CR19","unstructured":"Oppitz, M., et al., \u2018VIP \u2014 A Prolog Programming Environment', TR 1802\/85\/1, TU-Wien, (1985)."},{"key":"9_CR20","unstructured":"Pichler, Ch., Prolog \u00dcbersetzer, Diplomarbeit (M.Thesis), Inst. f. Prakt. Informatik, TU-Wien, (1984)."},{"key":"9_CR21","unstructured":"Pittomvills, E., Bruynooghe, M. & Willems, Y.D. \u2018Towards a Real Time Garbage Collector for Prolog', IEEE 1985 Symp. on Logic Programm., 185\u2013198, (1985)."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Tick, E., Memory Performance of Prolog Architectures, Kluwer Acad. Publ., (1988).","DOI":"10.1007\/978-1-4613-2017-3"},{"key":"9_CR23","unstructured":"Caneghem, M. van, L'Anatomie de Prolog, Inter\u00c9ditions, Paris, (1986)."},{"key":"9_CR24","unstructured":"Warren, D.H.D., \u2018Implementing Prolog \u2014 compiling predicate logic programs, Vol. 1 & 2\u2019, D.A.I. Res. Rep. No. 39 & No. 40, (MAY 1977)."},{"key":"9_CR25","unstructured":"Warren, D.H.D., \u2018An Abstract Prolog Instruction Set', TR 309, SRI Int-l, (1983)."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024180.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:52:13Z","timestamp":1607532733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0024180","relation":{},"subject":[]}}