{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:11:32Z","timestamp":1775052692423,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540620648","type":"print"},{"value":"9783540496373","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:33:14Z","timestamp":1330295594000},"page":"41-54","source":"Crossref","is-referenced-by-count":1,"title":["Algebraic semantics of the Oberon target machine"],"prefix":"10.1007","author":[{"given":"A. V.","family":"Zamulin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"R.M. Burstall and J.A. Goguen. Algebras, Theories, and Freeness: An Introduction for Computer Scientists. Proc. Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, August, 1981.","DOI":"10.1007\/978-94-009-7893-5_11"},{"key":"5_CR2","volume-title":"The Programming Language Oberon (Revised Edition)","author":"N. Wirth","year":"1990","unstructured":"N. Wirth. The Programming Language Oberon (Revised Edition). Department Informatik, Institut fuer Computersysteme, ETH, Zurich, 1990."},{"key":"5_CR3","volume-title":"Preprints 28","author":"A.V. Zamulin","year":"1994","unstructured":"A.V. Zamulin. The Database Specification Language RUSLAN. Siberian Division of the Russian Academy of Sciences, Institute of Informatics Systems, Preprints 28, 29, Novosibirsk 1994, 35 p. (ftp math.tulane.edu, directory \u201dpub\/zamulin\u201d, files\u201dRuslan1.ps.Z\u201d, \u201dRuslan2.ps.Z\u201d)."},{"key":"5_CR4","volume-title":"Informatik-Dissertationen","author":"M. Odersky","year":"1989","unstructured":"M. Odersky. A New Approach to Formal Language Definition and its Application to Oberon. Informatik-Dissertationen ETH Zurich, Nr. 18, 1989."},{"key":"5_CR5","volume-title":"Technical Report 589.3945009.00005-01","author":"A.V. Zamulin","year":"1995","unstructured":"A.V. Zamulin. Algebraic specification of the Programming Language Oberon. Siberian Division of the Russian Academy of Sciences, Institute of Informatics Systems, Technical Report 589.3945009.00005-01, Novosibirsk 1995 (ftp xsite.iis.nsk.su, directory \u201dpub\/articles\u201d, files \u201dobdef1.ps.z\u201d, \u201dobdef2.ps.z\u201d, \u201dob def3.ps.z\u201d, rdobdef4.ps.z\u201d."},{"key":"5_CR6","volume-title":"Term thesis","author":"P.W. Kutter","year":"1996","unstructured":"P.W. Kutter. Dynamic Semantics of the Oberon Programming Language. Term thesis, ETH Zurich, 1996."},{"key":"5_CR7","volume-title":"Master's thesis","author":"C. Luginbuehl","year":"1995","unstructured":"C. Luginbuehl. Denotazionelle semantik von Oberon. Master's thesis, ETH Zurich, 1995."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF00288541","volume":"14","author":"R. Nakajima","year":"1980","unstructured":"Nakajima R., Honda M., and Nakahara H. Hierarchical Program Specification a Many-sorted Logical Approach. Acta Informatica, Vol. 14, 1980, pp. 135\u2013155.","journal-title":"Acta Informatica"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"F.L. Bauer, R. Berghammer, M. Broy, et al. The Munich project CIP. Volume I: The wide spectrum language CIP-L. LNCS, vol. 183, 1985.","DOI":"10.1007\/3-540-15187-7"},{"issue":"No.1","key":"5_CR10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. Guttag","year":"1978","unstructured":"J. Guttag, J.J. Horning. The algebraic specification of abstract data types. Acta Informatica, 1978, v.10, No.1, pp. 27\u201352.","journal-title":"Acta Informatica"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BFb0039702","volume":"735","author":"A. V. Zamulin","year":"1993","unstructured":"A. V. Zamulin. Algebraic Modelling of Imperative Languages with Pointers. International Conference \u201dFormal Methods in Programming and Their Application\u201d, Novosibirsk, Russia, 29 June\u20132 July, 1993, Lecture Notes in Computer Science, v. 735, p. 81\u201397.","journal-title":"Lecture Notes in Computer Science"},{"key":"5_CR12","volume-title":"Denotational Semantics \u2014 A Methodology for Language Development","author":"D.A. Schmidt","year":"1986","unstructured":"D.A. Schmidt. Denotational Semantics \u2014 A Methodology for Language Development, Allyn & Bacon, Boston (Mass.), 1986."},{"key":"5_CR13","unstructured":"P.D. Mosses. Action Semantics. Cambridge University Press, Cambridge, England."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and J. Huggins. The Semantics of the C Programming Language. In: Computer Science Logic (ed. E. Boerger et al.), 1992, LNCS, vol. 702, pp. 274\u2013308.","DOI":"10.1007\/3-540-56992-8_17"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:53Z","timestamp":1605647513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}