{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T23:59:33Z","timestamp":1767916773620,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540102502","type":"print"},{"value":"9783540383390","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10250-7_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:06:42Z","timestamp":1330171602000},"page":"475-489","source":"Crossref","is-referenced-by-count":11,"title":["On the formal definition of ADA"],"prefix":"10.1007","author":[{"given":"V.","family":"Donzeau-Gouge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Kahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"17_CR1","unstructured":"V.Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, J-J. Levy \"A structure oriented program editor\", Proceedings of the International Computing Symposium, North-Holland Publishing Company, 1975."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"M. J. Gordon, Descriptive Techniques for Denotational Semantics, Springer Verlag, 1979.","DOI":"10.1007\/978-1-4612-6228-2_5"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"M. Hennessy, G. D. Plotkin, \"Full abstraction for a simple parallel programming language\", MFCS Proceedings, Sept. 1979","DOI":"10.1007\/3-540-09526-8_8"},{"key":"17_CR4","unstructured":"G. Huet, J-J. Levy, \"Call-by-need computations in non-ambiguous linear term rewriting systems\", Rapport IRIA-Laboria no. 359, August 1979."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"G. Kahn (Ed.) Semantics of concurrent computations, Lecture Notes Volume 70, Springer Verlag 1979.","DOI":"10.1007\/BFb0022459"},{"key":"17_CR6","unstructured":"D. C. Luckham, W. Polak, \"Ada Exception Handling: An Axiomatic Approach\", Stanford University Artificial Intelligence Laboratory, August 1979."},{"key":"17_CR7","unstructured":"R. Milne, C. Strachey, A Theory of Programming Language Semantics, Chapman and Hall, 1976."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"M. Gordon, R. Milner, C. Wadsworth, \"Edinburgh LCF\", Computer Science Department, University of Edinburgh, 1978.","DOI":"10.1007\/3-540-09724-4"},{"key":"17_CR9","unstructured":"SIS-Semantics Implementation System, Reference Manual and User Guide, DAIMI MD-30, University of Aarhus, August 1979."},{"key":"17_CR10","unstructured":"P. Mosses, \"The Mathematical Semantics of Algol 60\", Technical Monograph PRG-12, Oxford University Programming Research Group, January 1974."},{"key":"17_CR11","unstructured":"R. W. Scheifler, \"A Denotational Semantics of CLU\", Master's Thesis, MIT Laboratory For Computer Science, May 1978."},{"key":"17_CR12","unstructured":"J. Stoy, Denotational Semantics: The Scott-Strachey approach to Programming Language Theory, MIT Press, 1977."},{"key":"17_CR13","unstructured":"R. D Tennent \"A denotational definition of the programming language PASCAL\", Programming Research Group Memorandum, Oxford University, April 1978."}],"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_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:02:50Z","timestamp":1605625370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980]]}}}