A framework for modeling the semantics of expression evaluation with Abstract State Machines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2589, Issue , 2003, Pages 391-406

  Zimmermann, Wolf ^a   Dold, Axel ^b  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

^b UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS;

ABSTRACT STATE MACHINES; BOOLEAN EXPRESSIONS; CIRCUIT EVALUATION; EVALUATION ORDER; GENERIC EXPRESSION; NON DETERMINISM;

SEMANTICS;

EID: 35248812556     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_23     Document Type: Review

References (16)

1. B. Bȯrger and W. Schulte. A Programmer Friendly Modular Definition of the Semantics of Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lecture Notes in Computer Science, pages 353-404. Springer, 1998.
2. Microsoft Corporation. C# Language Specification. Microsoft Press, 2001.
3. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
4. Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
5. Y. Gurevich. May 1997 draft of the ASM guide. Technical Report CSE-TR-336-97, University of Michigan EECS Department, 1997.
6. Y. Gurevich and J.K. Huggins. The Semantics of the C Programming Language. In Selected papers from CSL'92 (Computer Science Logic), volume 702 of Lecture Notes in Computer Science, pages 274-308. Springer, 1993.
7. J.K. Huggins and W. Shen. The static and dynamic semantics of C. Technical Report CPSC-2000-4, Computer Science Program, Kettering University, 1999.
8. P. Kutter and A. Pierantonio. The formal specification of Oberen. Journal of Universal Computer Science, 3(5):443-503, 1997.
9. M. Norrish. C formalized in HOL. PhD thesis, University of Nottingham, 1998.
10. International Standardization Organization. International standard: Programming languages - Ada, 1995. ISO/IEC 8652:1995.
11. International Standardization Organization. International standard: Programming languages - Fortran, part 1: Base language, 1997. ISO/IEC 1539-1:1997.
12. International Standardization Organization. International standard: Programming languages - C++, 1998. ISO/IEC 14822:1998.
13. International Standardization Organization. International standard: Programming languages - C, 1999. ISO/IEC 9899:1999.
14. R. Stärk, J. Schmid, and E. Börger. Java and the Java Virtual Machine. Springer-Verlag, 2001.
15. C. Wallace. The semantics of the C++ programming language. In E. Börger, editor, Specification and Validation Methodes, pages 131-164. Oxford University Press, 1995.
16. C. Wallace. The semantics of the Java programming language. Technical Report CSE-TR-355-97, EECS Dept., University of Michigan, 1997.