{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:05Z","timestamp":1725664805375},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614647"},{"type":"electronic","value":"9783540685968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61464-8_72","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:40:53Z","timestamp":1330274453000},"page":"424-427","source":"Crossref","is-referenced-by-count":2,"title":["EPIC: An equational language Abstract machine and supporting tools"],"prefix":"10.1007","author":[{"given":"H. R.","family":"Walters","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juris F.","family":"Th.Kamperman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"1","key":"35_CR1","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0304-3975(89)90006-6","volume":"67","author":"J.C.M. Baeten","year":"1989","unstructured":"J.C.M. Baeten, J.A. Bergstra, J.W. Klop, and W.P. Weijland. Term-rewriting systems with rule priorities. Theoretical Computer Science, 67(1):283\u2013301, 1989.","journal-title":"Theoretical Computer Science"},{"unstructured":"J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.","key":"35_CR2"},{"doi-asserted-by":"crossref","unstructured":"Pieter H. Hartel, Marc Feeley, et al. Benchmarking implementations of functional languages with \u201cpseudoknot\u201d, a float-intensive benchmark. Journal of Functional Programming, 1996. Accepted for publication.","key":"35_CR3","DOI":"10.1017\/S0956796800001891"},{"key":"35_CR4","volume-title":"Report CS-R9440","author":"J. Kamperman","year":"1994","unstructured":"J.F.Th. Kamperman. GEL, a graph exchange language. Report CS-R9440, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1994. Available by ftp from ftp.cwi.nl:\/pub\/gipe as Kam94.ps.Z."},{"unstructured":"J.F.Th. Kamperman and H.R. Walters. ARM \u2014 Abstract Rewriting Machine. In H.A. Wijshoff, editor, Computing Science in the Netherlands, pages 193\u2013204, 1993.","key":"35_CR5"},{"doi-asserted-by":"crossref","unstructured":"J.F.Th. Kamperman and H.R. Walters. Lazy rewriting and eager machinery. In Jieh Hsiang, editor, Rewriting Techniques and Applications, number 914 in Lecture Notes in Computer Science, pages 147\u2013162. Springer-Verlag, 1995.","key":"35_CR6","DOI":"10.1007\/3-540-59200-8_54"},{"unstructured":"J.F.Th. Kamperman and H.R. Walters. Minimal term rewriting systems. Technical Report CS-R9573, CWI, december 1995. Available as http:\/\/www.cwi.n1\/epic\/articles\/CS-R9573.ps.Z. To appear in the proceedings of the 11th Workshop on Abstract Data Types, published by Springer-Verlag.","key":"35_CR7"},{"unstructured":"H.R. Walters. On Equal Terms, Implementing Algebraic Specifications. PhD thesis, University of Amsterdam, 1991. Available by ftp from ftp.cwi.nl:\/pub\/gipe\/reports as Wal91.ps.Z.","key":"35_CR8"},{"unstructured":"H.R. Walters and J.F.Th. Kamperman. A model for I\/O in equational languages with don't care non-determinism. Technical Report CS-R9572, CWI, december 1995. Available as http:\/\/www.cwi.n1\/epic\/articles\/CS-R9572.ps.Z. To appear in the proceedings of the 11th Workshop on Abstract Data Types, published by Springer-Verlag.","key":"35_CR9"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61464-8_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:32:12Z","timestamp":1619559132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61464-8_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614647","9783540685968"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-61464-8_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}