{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T09:29:47Z","timestamp":1775899787444,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540133469","type":"print"},{"value":"9783540388913","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:04:27Z","timestamp":1330193067000},"page":"215-233","source":"Crossref","is-referenced-by-count":38,"title":["Executable specification of static semantics"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Despeyroux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","unstructured":"G. Barberye, T. Joubert, M. Martin, Manuel d'utilisation de Prolog\/Cnet \u2014 version Pascal\/Multics 2.00 C.N.E.T. NT\/PAA\/CLC\/ICS\/1058, Paris, October 1983"},{"key":"11_CR2","volume-title":"Sp\u00e9cifications s\u00e9mantiques dans le syst\u00e8me Mentor","author":"T. Despeyroux","year":"1983","unstructured":"Th. Despeyroux, Sp\u00e9cifications s\u00e9mantiques dans le syst\u00e8me Mentor, Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 Paris-XI, Orsay, October 1983"},{"key":"11_CR3","unstructured":"V. Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, Programming environments based on structured editors: the MENTOR experience, Rapport de recherche no 26, Inria, July 1980"},{"key":"11_CR4","unstructured":"V. Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, J.-J. L\u00e9vy, A structure oriented program editor: a first step toward computer assisted programming, International Computing Symposium, North-Holland Publishing Company, 1975"},{"key":"11_CR5","unstructured":"V. Donzeau-Gouge, G. Kahn, B. Lang, A complete machine-checked definition of a simple programming language using denotational semantics, Rapport de recherche no 330, Inria, October 1978"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"L. Damas, R. Milner, Principal type-schemes for functional program, ACM, 1982","DOI":"10.1145\/582153.582176"},{"key":"11_CR7","unstructured":"V. Donzeau-Gouge, Les raisons des choix dans la d\u00e9finition formelle du langage Ada, Th\u00e8se d'\u00e9tat, Universit\u00e9 Paris-7 July 1982"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"M. Gordon, R. Milner, C. Wadsworth, Edinburg LCF, Lecture Notes in Computer Science, Springer-Verlag, 1979","DOI":"10.1007\/3-540-09724-4"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"M.S.C. Gordon, Descriptive technique for denotational semantics, Springer Verlag, 1979","DOI":"10.1007\/978-1-4612-6228-2_5"},{"key":"11_CR10","unstructured":"Formal definition of the Ada programming language, Honewell Inc., CII-Honewell Bull, Inria, November 1980"},{"key":"11_CR11","unstructured":"S. C. Johnson, Yacc: Yet Another Compiler-Compiler Bell Laboratories, July 1978"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"G. Kahn, B. Lang, B. Melese, E. Morcos, Metal: a formalism to specify formalisms, Science of Computer Programming, vol. 3, no 2, p. 151\u2013188, August 83","DOI":"10.1016\/0167-6423(83)90009-6"},{"issue":"2","key":"11_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"D. E. Knuth, Semantics of context-free languages, Mathematical Systems Theory, 2, 2, p. 127\u2013145, 1968, correction in vol. 5, 1, p. 95\u201396, 1971","journal-title":"Mathematical Systems Theory"},{"key":"11_CR14","unstructured":"P. Mosses, SIS: a compiler generator system using denotational semantics, DAIMI, University of Aarhus, 1978"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"D. B. MacQueen, R. Sethi, A semantic model of types for applicative languages, ACM symposium on LISP and functional programming, p. 243\u2013252, 1982.","DOI":"10.1145\/800068.802156"},{"issue":"3","key":"11_CR16","first-page":"348","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner, A theory of type polymorphism in programming, JCSS 17,3, p. 348\u2013375, 1978","journal-title":"JCSS"},{"key":"11_CR17","unstructured":"L. Paulson, A compiler generator for semantic grammars, PhD Thesis, Stanford University, December 1981"},{"key":"11_CR18","unstructured":"G.D. Plotkin, A structural approach to operational semantics, DAIMI FN-19, Aarhus university, September 1981"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"V. Pratt, Semantical considerations on Floyd-Hoare logic, 17th Focs, 109\u2013121, Huston, 1976","DOI":"10.1109\/SFCS.1976.27"},{"key":"11_CR20","unstructured":"T. W. Reps, Generating language-based environments, PhD Thesis, Cornell University, August 1982"},{"issue":"1","key":"11_CR21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson, A machine-oriented logic based on the resolution principle JACM 12,1, p. 23\u201341, 1965","journal-title":"JACM"},{"key":"11_CR22","unstructured":"R. Sethi, Semantics of computer programs: overview of language definition methods, Bell Laboratories, September 1977"}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:21Z","timestamp":1605643641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984]]}}}