Semantic essence of asml: Extended abstract

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

Volumn 3188, Issue , 2004, Pages 240-259

  Gurevich, Yuri ^a   Rossman, Benjamin ^a   Schulte, Wolfram ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL METHODS; SPECIFICATION LANGUAGES;

ABSTRACT STATE MACHINE LANGUAGES; ABSTRACT STATE MACHINES; DESIGN RATIONALE; EXECUTABLE SPECIFICATION LANGUAGES; EXTENDED ABSTRACTS; FULLY INTEGRATED; MICROSOFT DEVELOPMENT; OBJECT ORIENTED;

SEMANTICS;

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

References (15)

1. The AsmL webpage, http://research.microsoft.com/foundations/AsmL/.
2. Dines Bjoerner and Cliff B. Jones (Editors), "Formal Specification and Software Development", Prentice-Hall International, 1982.
3. Egon Boerger and Robert Staerk, "Abstract State Machines: A Method for HighLevel System Design and Analysis", Springer, Berlin Heidelberg 2003.
4. Foundations of Software Engineering group, Microsoft Research, http://research.microsoft.com/fse/
5. Yuri Gurevich, "Evolving Algebra 1993: Lipari Guide", in "Specification and Validation Methods", Ed. E. Boerger, Oxford University Press, 1995, 9-36.
6. Yuri Gurevich, "For every Sequential Algorithm there is an Equivalent Sequential Abstract State Machine", ACM Transactions on Computational Logic 1:1 (2000), pages 77-111.
7. Yuri Gurevich and Nikolai Tillmann, "Partial Updates: Exploration", Springer J. of Universal Computer Science, vol. 7, no. 11 (2001), pages 918-952.
8. Yuri Gurevich, Benjamin Rossman and Wolfram Schulte, "Semantic Essence of AsmL", submitted for publication. A preliminary version appeared as Microsoft Research Technical Report MSR-TR-2004-27, March 2004.
9. James K. Huggins, ASM Michigan web page, http://www.eecs.umich.edu/gasm.
10. Atsushi Igarashi, Benjamin C. Pierce and Philip Wadler, "Featherweight Java: a minimal core calculus for Java and GJ", ACM Transactions on Programming Languages and Systems (TOPLAS) 23:3 (May 2001), 396-450.
11. Gilles Kahn, "Natural semantics", In Proc. of the Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 247 (1987), 22-39.
12. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen, "The Definition of Standard ML (Revised)", MIT Press, 1997.
13. Benjamin C. Pierce, "Types and Programming Languages", MIT Press, Cambridge, Massachusetts, 2002
14. Gordon D. Plotkin, "Structural approach to operational semantics", Technical report DAIMI FN-19, Computer Science Department, Aarhus University, Denmark, September 1981
15. J. M. Spivey, "The Z Notation: A Reference Manual", Prentice-Hall, New York, Second Edition, 1992.