Abstract
A compiler for the programming language Oberon has been specified with the use of the algebraic methodology. The compiler translates Oberon sentences into sentences of an abstract target machine. The specifications of some important target machine constructions are presented in the paper. They are memory, store as a set of memories, variables and pointers, arrays, extended records, statements, and procedures. Entity-structured specifications consisting of specifications of kinds, data types, kind and type classes, and detached operations have been used for the purpose.
This research is supported by Russian Foundation of Fundamental Research under the grant 95-01-00878.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
N. Wirth. The Programming Language Oberon (Revised Edition). Department Informatik, Institut fuer Computersysteme, ETH, Zurich, 1990.
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 ”pub/zamulin”, files”Ruslan1.ps.Z”, ”Ruslan2.ps.Z”).
M. Odersky. A New Approach to Formal Language Definition and its Application to Oberon. Informatik-Dissertationen ETH Zurich, Nr. 18, 1989.
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 ”pub/articles”, files ”obdef1.ps.z”, ”obdef2.ps.z”, ”ob def3.ps.z”, rdobdef4.ps.z”.
P.W. Kutter. Dynamic Semantics of the Oberon Programming Language. Term thesis, ETH Zurich, 1996.
C. Luginbuehl. Denotazionelle semantik von Oberon. Master's thesis, ETH Zurich, 1995.
Nakajima R., Honda M., and Nakahara H. Hierarchical Program Specification a Many-sorted Logical Approach. Acta Informatica, Vol. 14, 1980, pp. 135–155.
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.
J. Guttag, J.J. Horning. The algebraic specification of abstract data types. Acta Informatica, 1978, v.10, No.1, pp. 27–52.
A. V. Zamulin. Algebraic Modelling of Imperative Languages with Pointers. International Conference ”Formal Methods in Programming and Their Application”, Novosibirsk, Russia, 29 June–2 July, 1993, Lecture Notes in Computer Science, v. 735, p. 81–97.
D.A. Schmidt. Denotational Semantics — A Methodology for Language Development, Allyn & Bacon, Boston (Mass.), 1986.
P.D. Mosses. Action Semantics. Cambridge University Press, Cambridge, England.
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–308.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zamulin, A.V. (1996). Algebraic semantics of the Oberon target machine. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Perspectives of System Informatics. PSI 1996. Lecture Notes in Computer Science, vol 1181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62064-8_5
Download citation
DOI: https://doi.org/10.1007/3-540-62064-8_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62064-8
Online ISBN: 978-3-540-49637-3
eBook Packages: Springer Book Archive