article

Formal Semantics of Java Expressions and Statements

Author:

A. V. ZamulinAuthors Info & Claims

Programming and Computing Software, Volume 29, Issue 5

Pages 259 - 270

https://doi.org/10.1023/A:1025785124539

Published: 01 September 2003 Publication History

Publisher Site

Abstract

No abstract available.

References

[1]

1. Zamulin, A.V., An ASM-based Formal Model of a Java Program, Programmirovanie, 2003, no. 3, pp. 15-28.

Digital Library

Google Scholar

[2]

2. 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.

Digital Library

Google Scholar

[3]

3. Cosling, J., Joy, B., Steele, G., and Bracha G., The Java^¿ Language Specification, Addison-Wesley, 2000, 2nd ed.

Digital Library

Google Scholar

[4]

4. 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.

Google Scholar

[5]

5. 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.

Digital Library

Google Scholar

[6]

6. 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.

Digital Library

Google Scholar

[7]

7. Jacobs, B. and Poll, E., Coalgebras and Monads in the Semantics of Java, Theor. Comput. Sci., 2002, vol. 291, no. 3, pp. 329-349.

Digital Library

Google Scholar

Cited By

View all

Bédard AHallé S(2023)Formal verification for event stream processingInformation and Computation10.1016/j.ic.2023.105058293:COnline publication date: 1-Aug-2023
https://dl.acm.org/doi/10.1016/j.ic.2023.105058
Zamulin A(2003)Algebraic Semantics of an Imperative Programming LanguageProgramming and Computing Software10.1023/B:PACS.0000004133.80483.6629:6(328-337)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1023/B%3APACS.0000004133.80483.66

Recommendations

Formal semantics for tabular expressions and software cost reduction method
Equivalence of formal semantics definition methods
Abstract
There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...
The formal semantics of SDL-2000: status and perspectives
ITU-T system design languages (SDL)

In November 1999, the current version of specification and description language (SDL), commonly referred to as SDL-2000, passed through ITU-T. In November 2000, the formal semantics of SDL- 2000 was officially approved to become part of the SDL language ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Programming and Computing Software

Programming and Computing Software Volume 29, Issue 5

September-October 2003

55 pages

ISSN:0361-7688

Issue’s Table of Contents

Publisher

Plenum Press

United States

Publication History

Published: 01 September 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bédard AHallé S(2023)Formal verification for event stream processingInformation and Computation10.1016/j.ic.2023.105058293:COnline publication date: 1-Aug-2023
https://dl.acm.org/doi/10.1016/j.ic.2023.105058
Zamulin A(2003)Algebraic Semantics of an Imperative Programming LanguageProgramming and Computing Software10.1023/B:PACS.0000004133.80483.6629:6(328-337)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1023/B%3APACS.0000004133.80483.66

Abstract

References

Cited By

Recommendations

Formal semantics for tabular expressions and software cost reduction method

Equivalence of formal semantics definition methods

The formal semantics of SDL-2000: status and perspectives

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations