article

Algebraic Semantics of an Imperative Programming Language

Author:

A. V. ZamulinAuthors Info & Claims

Programming and Computing Software, Volume 29, Issue 6

Pages 328 - 337

https://doi.org/10.1023/B:PACS.0000004133.80483.66

Published: 01 November 2003 Publication History

Abstract

No abstract available.

References

[1]

1. van den Berg, J., Huisman, M., Jacobs, B., and Poll, E., A Type-Theoretic Memory Model for Verification of Sequential Java Programs, Proc. of the 14th Int. Workshop on Algebraic Development Techniques (WADT'99), Lecture Notes in Computer Science, vol. 1827, Berlin: Springer, 2000.

Digital Library

[2]

2. Goguen, J.A. and Malcolm, G., Algebraic Semantics of Imperative Programs, The MIT Press, 1996.

Digital Library

[3]

3. Zamulin, A.V., Algebraic Modelling of Imperative Languages with Pointers, in Formal Methods in Programming and Their Applications, Lecture Notes in Computer Science, vol. 735, pp. 81-97, Berlin: Springer, 1993.

[4]

4. Nepomniaschy, V.A., Anureev, I.S., Mikhailov, I.N., and Promskii, A.V., Towards Verification of C Programs: C-Light Language and Its Formal Semantics, Program-mirovanie , 2002, no. 6, pp. 19-30.

Digital Library

[5]

5. Alves-Foss, J. and Lam, F.S., Dynamic Denotational Semantics of Java, in Formal Syntax and Semantics of Java, Lecture Notes in Computer Science, vol. 1523, pp. 201-240, Berlin: Springer, 1999.

[6]

6. Stärk, R., Schmid, J., and Börger, E., Java and the Java Virtual Machine: Definition, Verification, Validation, Springer, 2001.

Digital Library

[7]

7. Wallace, Ch., The Semantics of the C++ Programming Language, Specification and Validation Methods, Börger, E., Ed., Oxford University Press, 1995, pp. 131-164.

Digital Library

[8]

8. Asteziano, E. and Zucca, E., D-oids: A Model for Dynamic Data Types, Math. Structures Comput. Sci., 1995, vol. 5, no. 2, pp. 257-282.

[9]

9. Börger, E. and Stärk, R., Abstract State Machines: A Method for High-Level System Design and Analysis, Springer, 2003.

Digital Library

[10]

10. Gurevich, Y., Evolving Algebras 1993: Lipary Guide, Specification and Validation Methods, Börger, E., Ed., Oxford University Press, 1995, pp. 9-36.

Digital Library

[11]

11. Gaudel, M.-C., Khoury, C., and Zamulin, A., Dynamic Systems with Implicit State, in Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol. 1577, pp. 114-128, Berlin: Springer, 1999.

[12]

12. Gurevich, Y. and Higgins, J., The Semantics of the C Programming Language, in Computer Science Logic, Lecture Notes in Computer Science, vol. 702, pp. 274-309, Berlin: Springer, 1993.

[13]

13. Kutter, P.W. and Pierantonio, A., The Formal Specification of Oberon, J. Universal Comput. Sci., 1997, vol. 3, no. 5, pp. 443-503.

[14]

14. Algebraic Foundations of System Specification, Asteziano, E., Kreowski, H.-J., and Krieg-Brückner, B., Eds., Springer, 1999.

Digital Library

[15]

15. Cosling, J., Joy, B., Steele, G., and Bracha, G., The JavaTM Language Specification, Addison-Wesley, 2000, 2nd ed.

Digital Library

[16]

16. Microsoft Corp. C# Language Specification, Drafts of the ECMA TC39/TG3 Standardization Process, http://msdn.Microsoft.com/net/ecma/.2001.

[17]

17. Calcagno, C., Ishtiaq, S., and O'Hearn, P.W., Semantic Analysis of Pointer Aliasing: Allocation and Disposal in Hoare Logic, Proc. 2nd Int. Conf. on Principles and Practice of Declarative Programming, 2000.

Digital Library

[18]

18. Reynolds, J.C., Separation Logic: A Logic for Shared Mutable Data Structures, Proc. 7th Annu. IEEE Symp. on Logic in Comput. Sci., 2002.

Digital Library

[19]

19. Möller, B., Towards Pointer Algebra, Sci. Comput. Programming , 1993, vol. 21, pp. 57-90.

Digital Library

[20]

20. Mosses, P., CASL: A Guided Tour of Its Design, in Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'98, Lecture Notes in Computer Science, vol. 1589, Lisbon: Springer, 1999.

[21]

21. Zamulin, A.V., Algebraic Specification Language Ruslan 99, Preprint of Inst. of Informatics Systems, Novosibirsk, 1999, no. 66.

[22]

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

[23]

23. Language Prototyping: An Algebraic Specification Approach, van Deursen, A., Heering, J., and Klint, P., Eds., AMAST Series in Computing, vol. 5, World Sci., 1996.

[24]

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

Digital Library

[25]

25. Zamulin, A.V., Formal Semantics of Java Expressions and Statements, Programmirovanie, 2003, no. 5, pp. 31-45.

Digital Library

Cited By

Makhortov SShurlin M(2013)LP-structures analysisAutomation and Remote Control10.1134/S000511791307012674:7(1211-1217)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1134/S0005117913070126
Zamulin A(2004)An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming LanguageProgramming and Computing Software10.1023/B:PACS.0000043055.52965.6830:5(295-302)Online publication date: 1-Sep-2004
https://dl.acm.org/doi/10.1023/B%3APACS.0000043055.52965.68

Index Terms

Algebraic Semantics of an Imperative Programming Language
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Towards Semantics-Based Partial Evaluation of Imperative Programs
Constraint imperative programming
Semantics of programming languages

A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand the intentions of its designers. In the early 1980s, Jan ...

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 6

November-December 2003

56 pages

ISSN:0361-7688

Issue’s Table of Contents

Copyright © Copyright © 2003 MAIK “Nauka/Interperiodica”.

Publisher

Plenum Press

United States

Publication History

Published: 01 November 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

Makhortov SShurlin M(2013)LP-structures analysisAutomation and Remote Control10.1134/S000511791307012674:7(1211-1217)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1134/S0005117913070126
Zamulin A(2004)An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming LanguageProgramming and Computing Software10.1023/B:PACS.0000043055.52965.6830:5(295-302)Online publication date: 1-Sep-2004
https://dl.acm.org/doi/10.1023/B%3APACS.0000043055.52965.68

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents