{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:18Z","timestamp":1725664698411},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613770"},{"type":"electronic","value":"9783540685074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61377-3_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:36:00Z","timestamp":1330274160000},"page":"64-85","source":"Crossref","is-referenced-by-count":5,"title":["leanEA: A lean evolving algebra compiler"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Beckert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Posegga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0167-6423(95)00006-E","volume":"24","author":"E. B\u00f6rger","year":"1995","unstructured":"B\u00f6rger, Egon, & Rosenzweig, Dean. 1995. A Mathematical Definition of Full Prolog. Science of Computer Programming, 24(3), 249\u2013286.","journal-title":"Science of Computer Programming"},{"key":"5_CR2","unstructured":"B\u00f6rger, Egon, Durdanovic, Igor, & Rosenzweig, Dean. 1994a. Occam: Specification and Compiler Correctness. Pages 489\u2013508 of: Montanari, U., & Olderog, E.-R. (eds), Proceedings, IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94). North-Holland."},{"key":"5_CR3","first-page":"396","volume-title":"Towards a Mathematical Specification of the APE100 Architecture: The Apese Model","author":"E. Borger","year":"1994","unstructured":"Borger, Egon, Del Castillo, Giuseppe, Glavan, P., & Rosenzweig, Dean. 1994b. Towards a Mathematical Specification of the APE100 Architecture: The Apese Model. Pages 396\u2013401 of: Pehrson, B., & Simon, I. (eds), Proceedings, IFIP 13th World Computer Congress, vol. 1. Amsterdam: Elsevier."},{"key":"5_CR4","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Gurevich, Yuri. 1991. Evolving Algebras. A Tutorial Introduction. Bulletin of the EATCS, 43, 264\u2013284.","journal-title":"Bulletin of the EATCS"},{"key":"5_CR5","unstructured":"Gurevich, Yuri. 1995. Evolving Algebras 1993: Lipari Guide. In:B\u00f6rger, E. (ed), Specification and Validation Methods. Oxford University Press."},{"key":"5_CR6","unstructured":"Gurevich, Yuri, & Huggins, Jim. 1993. The Semantics of the C Programming Language. Pages 273\u2013309 of: Proceedings, Computer Science Logic (CSL). Lncs 702. Springer."},{"key":"5_CR7","unstructured":"Gurevich, Yuri, & Mani, Raghu. 1995. Group Membership Protocol: Specification and Verification. In:B\u00f6rger, E. (ed), Specification and Validation Methods. Oxford University Press."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Kappel, Angelica M. 1993. Executable Specifications based on Dynamic Algebras. Pages 229\u2013240 of: Proceedings, 4th International Conference on Logic Programming and Automated Reasoning (LPAR), St. Petersburg, Russia. Lncs 698. Springer.","DOI":"10.1007\/3-540-56944-8_56"},{"key":"5_CR9","unstructured":"O'Keefe, Richard A. 1990. The Craft of Prolog. Mit Press."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61377-3_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:31:44Z","timestamp":1619559104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61377-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613770","9783540685074"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-61377-3_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}