{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:35Z","timestamp":1725663395959},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:34:22Z","timestamp":1330202062000},"page":"119-131","source":"Crossref","is-referenced-by-count":1,"title":["A compiler written in prolog: the v\u00e9da experience"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Monin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"8_CR1","volume-title":"Manuel d'utilisation du Prolog-CNET","author":"G. Barberye","year":"1983","unstructured":"G. Barberye, T. Joubert, M. Martin: \u201cManuel d'utilisation du Prolog-CNET\u201d. Note technique NT\/PAA\/CLC\/LSC\/1058, CNET, France, Sept. 1983."},{"key":"8_CR2","unstructured":"E. Barrielle, JF. Monin: \u201cEst-ce que Prolog sait lire?\u201d Actes du seminaire programmation en logique de Tr\u00e9gastel, 19\u201321 mai 1987, pp 131\u2013140"},{"key":"8_CR3","unstructured":"Y. Bekkers, B. Canet, O. Ridoux, L. Ungaro: \u201cA Memory Management Machine for Prolog Interpreters\u201d. Proc. of the 3rd Symposium on Logic Programming, IEEE, sept. 1986, Salt-Lake City, USA."},{"key":"8_CR4","volume-title":"Rapport de recherche","author":"A. Colmerauer","year":"1975","unstructured":"A. Colmerauer: \u201cLes grammaires of m\u00e9tamorphoses\u201d. Rapport de recherche, GIA, Univ. Marseille-Luminy, France, Nov. 1975."},{"key":"8_CR5","unstructured":"JP. Courtiat, P. Dembinski, R. Groz, C. Jard: \u201cEstelle, un langage ISO pour les algorithmes distribu\u00e9s et les protocoles\u201d, TSI, March 1987."},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"P. Deransart, J. Maluszynski: \u201cRelating Logic Programs and Attribute Grammars\u201d. J. of Logic Programming, 1985, 2 pp 119\u2013155. INRIA, RR 323,Avril 1985.","journal-title":"J. of Logic Programming"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"I.Dinsenmeyer, O.Louvet, R. Groz: \u201cUtilisation de techniques of description formelle (TDF) pour la sp\u00e9cification de logiciels de commutation\u201d. Annales des t\u00e9l\u00e9communications, tome 42, num. 7\u20138, pp 448\u2013460, juillet 1987.","DOI":"10.1007\/BF02995612"},{"key":"8_CR8","unstructured":"Garetta: \u201cUn compilateur de Modula-2 \u00e9crit en Prolog\u201d (?) th\u00e8se de troisi\u00e8me cycle, Universit\u00e9 de Marseille, 1986 (?)"},{"key":"8_CR9","unstructured":"R.Hayter: \u201cEdison in Prolog'. Logic Programming Newsletter, winter 83\u201384, p 11."},{"key":"8_CR10","unstructured":"ISO\/TC97\/SC21\/WG16-1 DP9074: \u201cEstelle: a Formal Description Technique based on an Extended State Transition Model\u201d. Sept. 1986."},{"key":"8_CR11","unstructured":"C. Jard, JF. Monin, R. Groz: \u201cExperience in implementing X250 in V\u00e9da\u201d. V IFIP WG6.1 workshop, Moissac, June 1985, France, North-Holland, M. Diaz ed."},{"key":"8_CR12","unstructured":"C. Jard, R. Groz, JF. Monin: \u201cV\u00e9da: a Software Simulator for the Validation of Protocol Specifications\u201d. COMNET'85, Budapest, Oct. 1985, published by North-Holland in Computer network usage: recent experiences, L. Csaba, K. Tarnay, T. Szentivanyi ed."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"C. Jard, JF. Monin, R. Groz: \u201cDevelopment of V\u00e9da, a Prototyping Tool for Distributed Algorithms\u201d. Special Issue of IEEE trans. on Software Engineering on Computer communication Systems, Vol 13, March 1988.","DOI":"10.1109\/32.4654"},{"issue":"2","key":"8_CR14","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1109\/TSE.1986.6312943","volume":"12","author":"LS. Levy","year":"1986","unstructured":"LS. Levy: \u201cA Meta-programming Method and its Economic Justification\u201d. IEEE trans. on Software Engineering, Vol 12, Nu 2, Feb. 1986, pp 272\u2013277.","journal-title":"IEEE trans. on Software Engineering"},{"key":"8_CR15","unstructured":"JF. Monin: \u201cEcriture d'un compiler r\u00e9el en Prolog\u201d. Journ\u00e9es sur la programmation en logique, Plestin, France, Avril 1984, Cnet ed."},{"key":"8_CR16","unstructured":"JF. Monin: \u201cV\u00e9da\u201d Th\u00e8se de doctorat of l'universit\u00e9 de Rennes I, 1988."},{"key":"8_CR17","unstructured":"M.Simonet: \u201cW Grammaires et logique du premier ordre pour la d\u00e9finition and l'implantation des languages\u201d. th\u00e8se d'\u00e9tat, Grenoble, 1981."},{"key":"8_CR18","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/spe.4380100203","volume":"10","author":"D. H. D. D. Warren","year":"1980","unstructured":"D.H.D. Warren: \u201cLogic Programming and Compiler Writing\u201d. Software, Practice and Experience, Vol 10, pp 97\u2013125, 1980.","journal-title":"Software, Practice and Experience"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"D.A. Watt: \u201cAn Extended Attribute Grammar for Pascal\u201d. SIGPLAN Notice, Vol 14, Nu 2, pp 60\u201374.","DOI":"10.1145\/954063.954071"}],"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_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:42:23Z","timestamp":1640918543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}