{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:34Z","timestamp":1725663514846},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540192428"},{"type":"electronic","value":"9783540391661"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:04:13Z","timestamp":1330200253000},"page":"111-128","source":"Crossref","is-referenced-by-count":9,"title":["Compiling conditional rewriting systems"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Heuillard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"10_CR1","unstructured":"M.Bidoit, F.Capy, C.Choppy, N.Choquet, C.Gresse, S.Kaplan, F.Schlienger, F.Voisin: ASSPRO: un environement de programmation interactif et int\u00e9gr\u00e9, to appear in T.S.I."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"L. Augustsson. Compiling pattern matching. In Functional Programming Languages and Computer Architecture, Nancy, LNCS 201, Springer-Verlag, September 1985","DOI":"10.1007\/3-540-15975-4_48"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"L.Cardelli. Compiling a functional language. In Proc. ACM Conf. Lisp and functional programming, Austin, Texas, August 1984.","DOI":"10.1145\/800055.802037"},{"key":"10_CR4","unstructured":"H. Comon. Unification et disunification. Th\u00e9orie et applications. Th\u00e8se d'universit\u00e9."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer. Principles of OBJ2. In proc. ACM Symp. Principles of programming languages, 1985.","DOI":"10.1145\/318593.318610"},{"key":"10_CR6","unstructured":"N. Dershowitz, J.P. Jouannaud. Term rewriting systems, Hand book of theoretical computer science. To appear."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"S. Kaplan. A compiler for conditional term rewriting systems. In proc. Rewriting Techniques and applications 87, Bordeaux, May 1987.","DOI":"10.1007\/3-540-17220-3_3"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"D. Plaisted. Semantic confluence tests and completion methods. Information and Control 65, 1985.","DOI":"10.1016\/S0019-9958(85)80005-X"},{"key":"10_CR9","unstructured":"Ph. Schnoebelen. The compilation of pattern-matching in functional languages. To appear"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19242-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:47Z","timestamp":1605644207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}