{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:04Z","timestamp":1762458964754},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614647"},{"type":"electronic","value":"9783540685968"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61464-8_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:39:55Z","timestamp":1330292395000},"page":"154-168","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A compiler for nondeterministic term rewriting systems"],"prefix":"10.1007","author":[{"given":"Marian","family":"Vittek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"13_CR1","first-page":"301","volume-title":"volume 274 of Lecture Notes in Computer Science","author":"A. W. Appel","year":"1987","unstructured":"A. W. Appel and D. B. MacQueen. A Standard ML Compiler. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 301\u2013324, Portland, Oregon, USA, September 14\u201316, 1987. Springer-Verlag."},{"key":"13_CR2","volume-title":"volume 201 of Lecture Notes in Computer Science","author":"L. Augustsson","year":"1985","unstructured":"L. Augustsson. Compiling pattern matching. In Proceedings 2nd Conference on Functional Programming Languages and Computer Architecture, Nancy (France), volume 201 of Lecture Notes in Computer Science, Nancy (France), 1985. Springer-Verlag."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper. OPAL: Design and implementation of an algebraic programming language. In J. Gutknecht, editor, Programming Languages and System Architectures PLSA '94, volume 782 of Lecture Notes in Computer Science, pages 228\u2013244. Springer-Verlag, March 1994.","DOI":"10.1007\/3-540-57840-4_34"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of Lecture Notes in Computer Science. Springer-Verlag, March 1995.","DOI":"10.1007\/3-540-59155-9_6"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/322290.322295","volume":"29","author":"C. M. Hoffmann","year":"1982","unstructured":"C. M. Hoffmann and M. J. O'Donnell. Pattern matching in trees. Journal of the ACM, 29(1):68\u201395, 1982.","journal-title":"Journal of the ACM"},{"key":"13_CR6","first-page":"257","volume-title":"Computational Logic. Essays in honor of Alan Robinson","author":"J.-P. Jouannaud","year":"1991","unstructured":"J.-P. Jouannaud and C. Kirchner. Solving equations in abstract algebras: a rule-based survey of unification. In J.-L. Lassez and G. Plotkin, editors, Computational Logic. Essays in honor of Alan Robinson, chapter 8, pages 257\u2013321. The MIT press, Cambridge (MA, USA), 1991."},{"key":"13_CR7","first-page":"25","volume-title":"volume 256 of Lecture Notes in Computer Science","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. A compiler for conditional term rewriting system. In P. Lescanne, editor, Proceedings 2nd Conference on Rewriting Techniques and Applications, Bordeaux (France), volume 256 of Lecture Notes in Computer Science, pages 25\u201341, Bordeaux (France), May 1987. Springer-Verlag."},{"key":"13_CR8","unstructured":"C. Kirchner, H. Kirchner, and M. Vittek. Designing constraint logic programming languages using computational systems. In P. Van Hentenryck and V. Saraswat, editors, Principles and Practice of Constraint Programming. The Newport Papers., pages 131\u2013158. The MIT press, 1995."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"E. Kounalis and D. Lugiez. Compilation of pattern matching with associative commutative functions. In 16th Colloquium on Trees in Algebra and Programming, volume 493 of Lecture Notes in Computer Science, pages 57\u201373. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53982-4_4"},{"key":"13_CR10","unstructured":"N. Mart\u00ec-Oliet and J. Meseguer. Rewriting logic as a logical and semantical framework. Technical report, SRI International, May 1993."},{"key":"13_CR11","volume-title":"Technical report ECRC-93-6","author":"M. Meier","year":"1993","unstructured":"M. Meier, J. Schimpf, et al. ECLiPSe User Manual. Technical report ECRC-93-6, ECRC, Munich (Germany), 1993."},{"key":"13_CR12","unstructured":"M. Vittek. An efficient many-to-one unification algorithm for linear terms. (in Slovak language). In Proceedings of the First Czechoslovak Logic Programming Conference, 1990."},{"key":"13_CR13","volume-title":"Th\u00e8se de Doctorat d'Universit\u00e9","author":"M. Vittek","year":"1994","unstructured":"M. Vittek. ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes. Th\u00e8se de Doctorat d'Universit\u00e9, Universit\u00e9 Henri Poincar\u00e9-Nancy 1, October 1994."},{"key":"13_CR14","volume-title":"Technical Report 309","author":"D. H. D. Warren","year":"1983","unstructured":"D. H. D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, Menlo Park, CA, October 1983."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61464-8_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:41:22Z","timestamp":1558269682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61464-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614647","9783540685968"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61464-8_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}