Exploiting abstraction for specification reuse. The java/c# case study

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

Volumn 3188, Issue , 2004, Pages 42-76

  Borger, Egon ^a   Stärk, Robert F ^b  

^a UNIVERSITY OF PISA   (Italy)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; FORMAL METHODS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

MATHEMATICAL STRUCTURE;

JAVA PROGRAMMING LANGUAGE;

EID: 35048871045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30101-1_3     Document Type: Article

References (15)

1. V. Awhad and C. Wallace. A unified formal specification and analysis of the new Java memory models. In E. Borger, A. Gargantini, and E. Riccobene, editors, Abstract State Machines 2003-Advances in Theory and Applications, volume 2589 of Lecture Notes in Computer Science, pages 166-185. Springer-Verlag, 2003 .
2. E. Börger. The ASM refinement method. Formal Aspects of Computing, 15:237257, 2003.
3. E. Borger and T. Bolognesi. Remarks on turbo ASMs for computing functional equations and recursion schemes. In E. Borger, A. Gargantini, and E. Riccobene, editors, Abstract State Machines 2003 - Advances in Theory and Applications, volume 2589 of Lecture Notes in Computer Science, pages 218-228. Springer-Verlag, 2003.
4. E. Borger, N. G. Fruja, V. Gervasi, and R. Stärk. A high-level modular definition of the semantics of C#. Theoretical Computer Science, 2004.
5. E. Börger and R. F. Stärk. Abstract State Machines. A Method for High-level System Design and Analysis. Springer, 2003.
6. K. G. Doh. and P. D. Mosses. Composing programming languages by combining action-semantics modules. Science of Computer Programming, 47(l):3-36, 2003.
7. C# Language Specification. Standard ECMA-334, 2001. http://www.ecma- international.org/publications/standards/ECMA-334.HTM.
8. N. G. Fruja. The correctness of the definite assignment analysis in C#. In V. Skala and P. Nienaltowski, editors, Proc. 2nd International Workshop on .NET Technologies 2004, pages 81-88, Plzen, Czech Republic, 2004. ISBN 80-903100-4-4.
9. N. G. Fruja. Specification and implementation problems for C#. In W. Zimmermann and B. Thalheim, editors, 11th International Workshop on Abstract State Machines, ASM 2004, Wittenberg, Germany, pages 127-143. Springer-Verlag, Lecture Notes in Computer Science 3052, 2004.
10. N. G. Fruja and R. F. Stärk. The hidden computation steps of turbo Abstract State Machines. In E. Börger, A. Gargantini, and E. Riccobene, editors, Abstract State Machines 2003 - Advances in Theory and Applications, volume 2589 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2003.
11. Y. Gurevich. Evolving algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
12. P. Mosses. Definitive semantics. Version 0.2 of Lecture Notes made available at http://www.mimuw.edu.pl/ mosses/DS-03, May 2003.
13. R. F. Stärk and E. Borger. An ASM specification of C# threads and the .NET memory model. In W. Zimmermann and B. Thalheim, editors, 11th International Workshop on Abstract State Machines, ASM 2004, Wittenberg, Germany, pages 38-60. Springer-Verlag, Lecture Notes in Computer Science 3052, 2004.
14. R. F. Stärk, J. Schmid, and E. Börger. Java and the Java Virtual MachineDefinition, Verification, Validation. Springer-Verlag, 2001.
15. W. Zimmermann and A. Dold. A framework for modeling the semantics of expression evaluation with Abstract State Machines. In E. Börger, A. Gargantini, and E. Riccobene, editors, Abstract State Machines 2003-Advances in Theory and Applications, volume 2589 of Lecture Notes in Computer Science, pages 391-406. Springer-Verlag, 2003.