{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:03Z","timestamp":1725663783082},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544876"},{"type":"electronic","value":"9783540384014"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54487-9_51","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:54:49Z","timestamp":1330210489000},"page":"31-66","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["From prolog algebras towards WAM-A mathematical study of implementation"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dean","family":"Rosenzweig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"3_CR1","unstructured":"A\u00eft-Kaci, K. 1990: The WAM: A (Real) Tutorial, PRL Research Report 5, Digital Equipment Corporation, Paris Research Laboratory"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. 1990a: A Logical Operational Semantics of Full Prolog. Part I. Selection Core and Control, in: CSL '89. 3rd\nWorkshop on Computer Science Logic (Eds. E. B\u00f6rger, H. Kleine B\u00fcning, M. Richter), Springer LNCS 440, pp. 36\u201364","DOI":"10.1007\/3-540-52753-2_31"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. 1990b: A Logical Operational Semantics of Full Prolog. Part II. Built-in Predicates for Database Manipulations, in: MFCS '90. Mathematical Foundations of Computer Science (B. Rovan, Ed.), Springer LNCS 452, pp. 1\u201314","DOI":"10.1007\/BFb0029592"},{"key":"3_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-54487-9","volume-title":"Proc. Workshop on Logic from Computer Science","author":"E. B\u00f6rger","year":"1991","unstructured":"B\u00f6rger, E. 1991: A Logical Operational Semantics of Full Prolog. Part III. Built-in Predicates for Files, Terms, Arithmetic and Input-Output. In: Proc. Workshop on Logic from Computer Science (Y. Moschovakis, Ed.), Berkeley 1989, Springer MSRI Publications (to appear)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. & Rosenzweig D. 1991: WAM Algebras-A Mathematical Study of Implementation, Part II, in preparation","DOI":"10.1007\/3-540-54487-9_51"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. & Schmitt P. 1991: A Formal Operational Semantics for Languages of Type Prolog III, this volume","DOI":"10.1007\/3-540-54487-9_52"},{"key":"3_CR7","unstructured":"DFPS 1990: Deransart, P., Folkj\u00e6r P., Pique, J-F., Scowen, R. S: Prolog. Draft for Working Draft 4.0, ISO\/IEC JTC1 SC22 WG 17 No 64, September 1990"},{"key":"3_CR8","unstructured":"Gurevich, Y. 1988: Logic and the Challenge of Computer Science, in: Trends in Theoretical Computer Science (E. B\u00f6rger ed.), Computer Science Press, pp. 1\u201357"},{"key":"3_CR9","unstructured":"Gurevich, Y. 1991: Evolving Algebras. A Tutorial Introduction, in: EATCS Bulletin\n43, February 1991"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Gurevich, Y. & Morris, J. M. 1988: Algebraic Operational Semantics and Modula-2, in: CSL '87. 1st\nWorkshop on Computer Science Logic (Eds. E. B\u00f6rger, H. Kleine B\u00fcning, M. Richter), Springer LNCS 329, pp. 81\u2013101","DOI":"10.1007\/3-540-50241-6_31"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Gurevich, Y. & Moss, L. S. 1990: Algebraic Operational Semantics and Occam, in: CSL '90. 3rd\nWorkshop on Computer Science Logic (Eds. E. B\u00f6rger, H. Kleine B\u00fcning, M. M. Richter), Springer LNCS 440, pp. 176\u2013192","DOI":"10.1007\/3-540-52753-2_39"},{"key":"3_CR12","unstructured":"Lindholm, T. G. & O'Keefe, R. A. 1987: Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code, in: Proceedings of the Fourth International Conference on Logic Programming, pp. 21\u201339"},{"key":"3_CR13","unstructured":"North, N. D. & Scowen, R. S. 1990: Budapest 1990 Meeting ISO\/IEC JTC1 SC22 WG 17 No 68, November 1990"},{"key":"3_CR14","unstructured":"Rusinoff, D. M. 1989: A Verified Prolog Compiler for the Warren Abstract Machine, MCC Technical Report ACT-ST-292-89, Austin, Texas"},{"key":"3_CR15","unstructured":"Semle, H. 1989: Erweiterung einer abstrakten Maschine f\u00fcr ordnungssortiertes Prolog um die Behandlung polymorpher Sorten, IWBS Report 75, IBM Deutschland"},{"key":"3_CR16","unstructured":"Warren, D. H. D. 1983: An Abstract Prolog Instruction Set, Technical Note 309, Artificial Intelligence Center, SRI International"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54487-9_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:40:40Z","timestamp":1558269640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54487-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544876","9783540384014"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54487-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}