{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:14Z","timestamp":1725664694022},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:35:55Z","timestamp":1330292155000},"page":"191-214","source":"Crossref","is-referenced-by-count":5,"title":["An evolving algebra abstract machine"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Castillo","sequence":"first","affiliation":[]},{"given":"Igor","family":"\u0110ur\u0111anovi\u0107","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","unstructured":"Bernhard Beckert and Joachim Posegga. lean EA: A poor's man's evolving algebra compiler. Internal Report 25\/95, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, April 1995."},{"key":"12_CR2","unstructured":"Andreas Blass and Yuri Gurevich. Evolving Algebras and Linear Time Hierarchy. In B. Pehrson and I. Simon, editors, Proc. of the IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, Elsevier Science Publishers B. V., 1994, pp. 383\u2013390."},{"key":"12_CR3","unstructured":"Egon B\u00f6rger. Annotated bibliography on evolving algebras. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995."},{"key":"12_CR4","unstructured":"Egon B\u00f6rger, editor. Specification and Validation Methods. Oxford University Press, 1995."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Egon Borger. On the use of evolving algebras for hardware and software engineering. In Proc. of SOFSEM'95 (Nov. 25\u2013Dec. 2, 1995, Bratislava, Czech Republic). To appear in LNCS.","DOI":"10.1007\/3-540-60609-2_12"},{"key":"12_CR6","unstructured":"Egon B\u00f6rger and Igor \u0110ur\u0111anovi\u0107. Correctness of compiling Occam to Transputer code. Computer Journal, to appear."},{"key":"12_CR7","unstructured":"Egon B\u00f6rger and Uwe Gl\u00e4sser. Modelling and analysis of distributed and reactive systems using evolving algebras. Technical Report NS-95-4, BRICS, July 1995."},{"key":"12_CR8","unstructured":"G. Del Castillo, I. \u0110ur\u0111anovic and U. Gl\u00e4sser. Specification and Design of the EAM (EAM \u2014 Evolving Algebra Abstract Machine). Technical Report tr-rsfb-96-003, Paderborn University."},{"key":"12_CR9","unstructured":"Dag Diesen. Specifying Algorithms using Evolving Algebra. Implementation of Functional Programming Languages. Research Report 199, Department of Informatics, University of Oslo, March 1995."},{"key":"12_CR10","unstructured":"H. Ehrig and B. Mahr, editors. Fundamentals of Algebraic Specification 1 \u2014 Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"L.M.G. Feijs and H.B.M. Jonkers, editors. Formal Specification and Design. Cambridge Tracts in Theoretical Computer Science 35. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511569777"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"R.W. Gray, V.P. Heuring, St.P. Levi, A.M. Sloane, W.M. Waite, Eli: A Complete, Flexible Compiler Construction System, Communications of the ACM, Februar 1992, 12 1ff.","DOI":"10.1145\/129630.129637"},{"key":"12_CR13","unstructured":"Yuri Gurevich. Evolving algebras \u2014 a tutorial introduction. Bulletin of the EATCS, (43);264\u2013284, February 1991."},{"key":"12_CR14","unstructured":"Yuri Gurevich. Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"A.M. Kappel. Executable specifications based on dynamic algebras. In A. Voronkov, editor, Logic Programming and Automated Reasoning, volume 698 of INAI, pages 229\u2013240. Springer, 1993.","DOI":"10.1007\/3-540-56944-8_56"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"U. Kastens, W.M. Waite. Modularity and Reusability in Attribute Grammars. Universit\u00e4t-GH Paderborn, Reihe Informatik, Bericht Nr. 102, Juli 1992.","DOI":"10.21236\/ADA445712"},{"key":"12_CR17","unstructured":"R. Milner, M. Tofte and R. Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Martin Wirsing. Algebraic specifications. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B, pages 675\u2013788. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"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_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:05:50Z","timestamp":1605647150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61377-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613770","9783540685074"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61377-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}