{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:58Z","timestamp":1725662938697},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540074106"},{"type":"electronic","value":"9783540379294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07410-4_631","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:58:19Z","timestamp":1330185499000},"page":"205-218","source":"Crossref","is-referenced-by-count":0,"title":["The construction of types of abstract machines in SIMAC"],"prefix":"10.1007","author":[{"given":"C.","family":"Daquin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Girault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"15_CR1","unstructured":"J. Arsac \u2014 Un langage de programmation sans branchements (RAIRO, B2, Juin 1972)."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"T.E. Cheatham \u2014 J.A. Fischer and P.Jorrand \u2014 On the basis for ELF, an extensible language facility (FJCC, December 1968).","DOI":"10.1145\/1476706.1476710"},{"key":"15_CR3","unstructured":"C.Daquin, C.Girault \u2014 SIMAC, simulateur conversationnel d'automates (RAIRO, B3, Septemore 1972)."},{"key":"15_CR4","unstructured":"C.Daquin, C.Girault \u2014 SIMAC, an extensible system for abstract machines (n o I.P. 73.17, novembre 1973)."},{"key":"15_CR5","unstructured":"C.Daquin \u2014 SIMAC, un syst\u00e8me extensible de mise en oeuvre de machines abstraites (th\u00e8se de troisi\u00e8me cycle, n o IP, 74\u20135, Mai 1974)."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"J.B. Dennis \u2014 First version of a data flow procedure language (Colloque sur la programmation, Paris Avril 1974).","DOI":"10.1007\/3-540-06859-7_145"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare \u2014 An operating system structuring concept (CACM. october 1974).","DOI":"10.1007\/978-1-4757-3472-0_10"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"D.E. Knuth \u2014 Examples of formal semantics (Symposium on semantics of algorithmic languages edited by Erwin Engeler, University of Minnesota, Springer lecture notes, 1971).","DOI":"10.1007\/BFb0059699"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"B. Liskov, S. Zilles \u2014 Programming with abstract data types. (Proceedings of a symposium on very high level languages March 1974. SIGPLAN NOTICES, Volume 9, number 4, April 1974).","DOI":"10.1145\/942572.807045"},{"key":"15_CR10","unstructured":"D.C.Luckam, D.Park, M.S.Paterson \u2014 Formalized computer programs (J.C.S.S. June 1970)."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"J.Neuhold \u2014 The Formal Description of Programming Languages (IBM Systems Journal, 1971, vol. 10, n o 2).","DOI":"10.1147\/sj.102.0086"}],"container-title":["Lecture Notes in Computer Science","GI \u2014 5. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07410-4_631.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:40Z","timestamp":1605643060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07410-4_631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540074106","9783540379294"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-07410-4_631","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}