{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:34Z","timestamp":1742617114047,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_42","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:33:55Z","timestamp":1330202035000},"page":"83-104","source":"Crossref","is-referenced-by-count":1,"title":["An implementation of retargetable code generators in prolog"],"prefix":"10.1007","author":[{"given":"Annie","family":"Despland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monique","family":"Mazaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Rakotozafy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"6_CR1","series-title":"Rapport LRI","volume-title":"How to make algebraic specifications more understandable ? an experiment with the PLUSS specification language","author":"M. Bidoit","year":"1987","unstructured":"Bidoit M., Gaudel M. C., Mauboussin A.: \"How to make algebraic specifications more understandable ? an experiment with the PLUSS specification language\", Rapport LRI No 343, Universit\u00e9 d'Orsay, France 1987."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Cattell R. G. G.: \"A Survey and Critique of some Models of Code Generation\", Carnegie-Mellon University, Computer Sciences Department, Technical Report, CMU-CS-115, 1977.","DOI":"10.21236\/ADA056027"},{"issue":"2","key":"6_CR3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/357094.357097","volume":"2","author":"R. G. G. G. Cattell","year":"1980","unstructured":"Cattell R. G. G.: \"Automatic Derivation of Code Generators from Machine Description\", ACM Transactions on Programming Languages and Systems, Vol. 2, No.2 p173\u2013199, April 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Despland A., Mazaud M., Rakotozafy R.: \"Code generator generation based on template-driven target term rewriting\", LNCS no 256 p 105\u2013120, Proceedings of Rewriting Techniques and Applications, Bordeaux, France, May 1987.","DOI":"10.1007\/3-540-17220-3_10"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Deschamp Ph.: \"PERLUETTE: a compiler producing system using abstract data types\", Proceedings of International Symposium on Programming, Turin, April 1982.","DOI":"10.1007\/3-540-11494-7_6"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Ganzinger H, Giegerich R.: \"A truly Generative Semantics-Directed Compiler Generator\", Proceedings of the SIGPLAN 82 Symposium on Compiler Construction, ACM SIGPLAN no 17, 6, June 1982.","DOI":"10.1145\/800230.806993"},{"key":"6_CR7","unstructured":"Gaudel M. C., Deschamp Ph., Mazaud M.: \"Compiler Construction From High Level Specification\", Automatic Program Construction Techniques, Macmillan Inc, 1984."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Ganapathi M., Fischer C. N.: \"Description-Driven Code Generation Using attributed Grammars\", Conference of the Nineth Annual ACM Symposium on Programming Languages, Albuquerque New-Mexico, p 108\u2013109, January 25\u201327, 1982.","DOI":"10.1145\/582153.582165"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Graham S. L, Glanville R. S.: \"A New Method for Compiler Code Generation\", Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, p 231\u2013240, January 1978.","DOI":"10.1145\/512760.512785"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Graham S. L., Henry R. R. & Al. \"Experiment with a Graham-Glanville Style Code generator\", Proceedings of the SIGPLAN 84, Symposium on Compiler Construction, ACM Not. 19, 6, June 1984.","DOI":"10.1145\/502949.502876"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Giegerich R.: \"Logic specification of Code Generation Techniques\", LNCS no 217, p 96\u2013111, Programs as data objects, Copenhague October 17\u201319, 1985.","DOI":"10.1007\/3-540-16446-4_6"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Madelaine E.: \"Syst\u00e8me d'aide \u00e0 la preuve de compilateurs\", Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 de Paris VII, Septembre 1983.","DOI":"10.1007\/3-540-12925-1_39"},{"key":"6_CR13","unstructured":"Mazaud M., Rakotozafy R., Szumachowski-Despland A.: \"Code generator generation based on template-driven target term rewriting\", Rapport de recherche INRIA RR-582, 1986."}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:48:34Z","timestamp":1742590114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}