{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:56Z","timestamp":1725663236197},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540102502"},{"type":"electronic","value":"9783540383390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10250-7_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:06:48Z","timestamp":1330171608000},"page":"140-164","source":"Crossref","is-referenced-by-count":5,"title":["Specification of compilers as abstract data type representations"],"prefix":"10.1007","author":[{"given":"M. C.","family":"Gaudel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"4_CR1","unstructured":"P. BOULLIER. Le syst\u00e8me SYNTAX, Manuel d'utilisation, Groupe Langages et Traducteur, IRIA, 1977."},{"key":"4_CR2","unstructured":"P. BOULLIER. Automatic Syntatic Error Recovery for LR-Parsers, 5th Annual III Conference \u2014 Guidel, Mai 1977."},{"key":"4_CR3","unstructured":"P.D. MOSSES. Mathematical Semantics and Compiler Generation. Ph.D. Thesis, Universit\u00e9 d'Oxford, 1975."},{"key":"4_CR4","unstructured":"P.D. MOSSES. SIS, a Compiler-Generator System using Denotational Semantics Dept. of Computer Science, Universit\u00e9 d'Aarhus, June 1978."},{"key":"4_CR5","unstructured":"M.C. GAUDEL. A formal Approach to Translator Specification, IFIP Congress, Toronto, 1977."},{"key":"4_CR6","unstructured":"M.C. GAUDEL, Ph. DESCAMP, M. MAZAUD. Semantics of Procedures as an Algebraic Abstract Data Type, Rapport Laboria no 334\u20131978."},{"key":"4_CR7","unstructured":"M.C. GAUDEL, C. PAIR. Construction de Compilateurs bas\u00e9e sur une S\u00e9mantique Formelle. Acte des journ\u00e9es francophones sur la certification du logiciel, Gen\u00e8ve, 1979."},{"key":"4_CR8","unstructured":"M.C GAUDEL, C. PAIR. The Use of a Formal Semantics to Produce and Prove Compilers. International Workshop on the Semantics of Programming Language. Bad Honnef. March 1979."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"F. Lockwood MORRIS. Advice on Structuring Compilers and Proving them Correct. P.O.P.L. 1973.","DOI":"10.1145\/512927.512941"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"J.V. GUTTAG, E. HOROWITZ, D.R. MUSSER. Abstract Data Types and Software Validation. CACM. December 1978.","DOI":"10.1145\/359657.359666"},{"key":"4_CR11","unstructured":"J.W. THATCHER, E. WAGNER, J.B. WRIGHT. An Initial Algebra approach to the Specification, Correctness, and Implementation of Abstract Data Type. In Current Trends in Programming Methodology IV (R. Yeh. Ed). Prentice Hall 1979."},{"key":"4_CR12","unstructured":"M.C. GAUDEL. An introduction to Algebraic Abstract Data Type. Lecture notes of the 2nd advanced course on Computing System Reliability. IRIA, Sept 1979."},{"key":"4_CR13","unstructured":"M. GORDON, R. MILNER, C. WADSWORTH \u2014 Edinburgh LCF. Internal Report CSR-11-77 University of Edinburgh, Sept 1977."},{"key":"4_CR14","unstructured":"D.R. MUSSER. A Data Type Verification System based on Rewrite Rules. 6th Texas Conference on Computing System, Austin, Nov. 1977."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"D.R. MUSSER. Abstract Data Type Specification in the AFFIRM System. IEEE Transactions on Software Engineering (to appear).","DOI":"10.1109\/TSE.1980.230459"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"D.E. KNUTH. Semantics of Context-free Languages, Math. Systems Theory, Vol. no5, no1, 1971.","DOI":"10.1007\/BF01702865"},{"key":"4_CR17","unstructured":"B. LORHO. De la D\u00e9finition \u00e0 la Traduction des Langages de Programmation: la m\u00e9thode des attributs s\u00e9mantiques. Th\u00e8se d'Etat \u2014 Toulouse, 1974."},{"key":"4_CR18","unstructured":"B. LORHO. DELTA: manuel d'utilisation, Groupe Langages et Traducteurs, IRIA, Nov. 1977."},{"key":"4_CR19","unstructured":"M.C. DENDIEN-GAUDEL. Applications des Structures de Donn\u00e9es \u00e0 la description et \u00e0 la preuve de Traducteurs. Congr\u00e8s AFCET Informatique, Gif-sur-Yvette, Nov. 1976."},{"key":"4_CR20","unstructured":"M.C. GAUDEL. Thesis, University of Nancy (France), March 1980."}],"container-title":["Lecture Notes in Computer Science","Semantics-Directed Compiler Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10250-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:02:44Z","timestamp":1605625364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}