{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:17Z","timestamp":1725467417689},"publisher-location":"Berlin\/Heidelberg","reference-count":31,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540558446"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-55844-6_140","type":"book-chapter","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T09:22:29Z","timestamp":1152782549000},"page":"245-259","source":"Crossref","is-referenced-by-count":1,"title":["Fast prolog with a VAM1p based Prolog compiler"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Krall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Berger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"J. Beer, Concepts, Design, and Performance Analysis of a Parallel Prolog Machine, Springer, 1989","DOI":"10.1007\/3-540-52053-8"},{"issue":"6","key":"17_CR2","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/362248.362270","volume":"16","author":"James R. Bell","year":"1973","unstructured":"J.R. Bell, Threaded Code, CACM 16(6), 1973.","journal-title":"Communications of the ACM"},{"key":"17_CR3","volume-title":"M. Thesis","author":"T. Berger","year":"1991","unstructured":"T. Berger, Implementierung eines Prologcompilers basierend auf der Vienna Abstract Machine, M. Thesis, TU Wien, 1991."},{"key":"17_CR4","unstructured":"M. Bruynooghe,\u2019 The Memory Management of PROLOG Implementations', Logic Programming, Clark & T\u00e5rnlund (ed.), Academic Press, 1982."},{"key":"17_CR5","unstructured":"M. Carlsson and J. Wid\u00e9n, SICStus Prolog User's Manual, SICS research report R88007C, 1990."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot,\u2019 Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints', Forth Symp, Priciples of Programming Languages, ACM, 1977","DOI":"10.1145\/512950.512973"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"A.M. Ertl and A. Krall,\u2019 Instruction Scheduling for Complex Pipelines', Int. Workshop on Compiler Construction, LNCS, 1992","DOI":"10.1007\/3-540-55984-1_19"},{"key":"17_CR8","volume-title":"M. Thesis","author":"M. Gelbmann","year":"1984","unstructured":"M. Gelbmann, Prolog Interpreter, M. Thesis, TU Wien, 1984"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"P.B. Gibbons and S.S. Muchnick,\u2019 Efficient Instruction Scheduling for a pipelined architecture', in Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, 1986","DOI":"10.1145\/12276.13312"},{"key":"17_CR10","unstructured":"G. Kane, MIPS RISC Architecture, Prentice Hall, 1989."},{"key":"17_CR11","volume-title":"VIP TR 1802\/86\/7","author":"A. Krall","year":"1986","unstructured":"A. Krall, Comparing Implementation Techniques for Prolog, VIP TR 1802\/86\/7, TU Wien, 1986."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"A. Krall,\u2019 Implementation of a High-Speed Prolog Interpreter', ACM SIGPLAN 22(7), Conf. on Interpreters and Interpretative Techniques, 1987.","DOI":"10.1145\/960114.29663"},{"key":"17_CR13","volume-title":"Ph.D. Thesis","author":"A. Krall","year":"1988","unstructured":"A. Krall, Analyse und Implementierung von Prologsystemen, Ph.D. Thesis, TU Wien, 1988."},{"key":"17_CR14","volume-title":"An Extended Prolog Instruction Set for RISC Processors","author":"A. Krall","year":"1991","unstructured":"A. Krall,\u2019 An Extended Prolog Instruction Set for RISC Processors', Int. Workshop on VLSI for AI and Neural Networks, Oxford, Plenum, 1991."},{"key":"17_CR15","unstructured":"A. Krall, E. K\u00fchn and U. Neumerkel,\u2019 Distributed Logic Programming', EUUG Spring '89 Conference, Brussels, 1989."},{"key":"17_CR16","unstructured":"A. Krall and U. Neumerkel,\u2019 The Vienna Abstract Machine', PULP '90, LNCS, Springer, 1990."},{"key":"17_CR17","unstructured":"E. K\u00fchn and T. Ludwig,\u2019 VIP-MDBS: A Logic Multidatabase System', Int. Symposium on Databases in Parallel and Distributed Systems, Austin Texas, 1988."},{"key":"17_CR18","volume-title":"TR 185\/91\/1","author":"E. K\u00fchn","year":"1991","unstructured":"E. K\u00fchn and F. Puntigam, The VPL Vienna Parallel Logic Language, TR 185\/91\/1, TU Wien, 1991."},{"key":"17_CR19","unstructured":"A. Marien et al.,\u2019 The impact of abstract interpretation: an experiment in code generation', Sixth Int. Conf. on Logic Programming, Lisbon, 1989."},{"key":"17_CR20","unstructured":"C.S. Mellish,\u2019 An Alternative to Structure Sharing in the Implementation of a Prolog Interpreter', Logic Programming, Clark & T\u00e5rnlund (ed.), Academic Press, 1982."},{"issue":"1","key":"17_CR21","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"2","author":"C.S. Mellish","year":"1985","unstructured":"C.S. Mellish, 'some Global Optimizations for a Prolog Compiler', Journal of Logic Programming 2(1), 1985.","journal-title":"The Journal of Logic Programming"},{"key":"17_CR22","unstructured":"U. Neumerkel,\u2019 Extensible Unification by Metastructures', Meta90, Leuven, 1990."},{"key":"17_CR23","volume-title":"VIP TR 1802\/85\/1","author":"M. Oppitz","year":"1985","unstructured":"M. Oppitz et al., VIP \u2014 A Prolog Programming Environment, VIP TR 1802\/85\/1, TU Wien, 1985."},{"key":"17_CR24","volume-title":"M. Thesis","author":"C. Pichler","year":"1984","unstructured":"C. Pichler, Prolog \u00fcbersetzer, M. Thesis, TU Wien, 1984."},{"key":"17_CR25","volume-title":"M. Thesis","author":"H. Pohlai","year":"1991","unstructured":"H. Pohlai, Implementierung eines Prolog-Zwischcncodeinterpreters basierend auf der Vienna Abstract Machine, M. Thesis, TU Wien, 1991."},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"P.V. Roy and A.M. Despain,\u2019 High-performance Logic Programming with the Aquarius Prolog Compiler', IEEE Computer, 1992","DOI":"10.1109\/2.108055"},{"key":"17_CR27","unstructured":"A. Taylor,\u2019 Removal of Dereferencing and Trailing in Prolog Compilation', Sixth Int. Conf. on Logic Programming, Lisbon, 1989."},{"key":"17_CR28","unstructured":"A. Taylor,\u2019 LIPS on a MIPS', Seventh Int. Conf. on Logic Programming, Jerusalem, 1990."},{"key":"17_CR29","unstructured":"D.H.D. Warren, An Abstract Prolog Instruction Set, SRI International, Technical Note 309, 1983."},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"H.S. Warren,\u2019 Instruction scheduling for the IBM RISC System\/6000 processor', IBM Journal of Research and Development, 1(34), 1990","DOI":"10.1147\/rd.341.0085"},{"key":"17_CR31","unstructured":"R. Warren, M. Hermenegildo and S. Debray,\u2019 On the Practicality of Global Flow Analysis of Logic Programs', Fifth Int. Conf. and Symposium on Logic Programming, Seattle, 1988."}],"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\/3-540-55844-6_140.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:25Z","timestamp":1619573785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55844-6_140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540558446"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-55844-6_140","relation":{},"subject":[]}}