REFERENCES
Zamulin, A.V., An ASM-based Formal Model of a Java Program, Programmirovanie, 2003, no. 3, pp. 15-28.
Mosses, P.D., The Varieties of Programming Language Semantics (And Their Uses), in Perspectives in System Informatics, Lecture Notes in Computer Science, vol.2244, pp. 165-190, Berlin: Springer, 2001.
Cosling, J., Joy, B., Steele, G., and Bracha G., The JavaTM Language Specification, Addison-Wesley, 2000, 2nd ed.
Gurevich, Y., Schutle, W., and Wallace, C., Investigating Java Concurrency Using Abstract State Machines, in Abstract State Machines: Theory and Applications, Lecture Notes in Computer Science, vol. 1912, pp. 151-176, Berlin: Springer, 2000.
Zamulin, A.V., Algebraic Specification of an Oberon Target Machine, Proc. A.P. Ershov Second Int. Memorial Conf. “Perspectives of System Informatics” Lecture Notes in Computer Science, vol. 1181, pp. 41-54, Berlin: Springer, 1996.
Parisi-Presicce, F. and Pierantonio, A., Dynamic Behaviour of Object Systems, in Recent Trends in Data Type Specification, Lecture Notes in Computer Science, vol.906, pp. 406-419, Berlin: Springer, 1995.
Jacobs, B. and Poll, E., Coalgebras and Monads in the Semantics of Java, Theor. Comput. Sci., 2002, vol. 291, no. 3, pp. 329-349.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zamulin, A.V. Formal Semantics of Java Expressions and Statements. Programming and Computer Software 29, 259–270 (2003). https://doi.org/10.1023/A:1025785124539
Issue Date:
DOI: https://doi.org/10.1023/A:1025785124539