Using abstract state machines at Microsoft: A case study

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

Volumn 1912 LNCS, Issue , 2000, Pages 367-379

  Barnett, Mike ^a   Börger, Egon ^a,b   Gurevich, Yuri ^a   Schulte, Wolfram ^a   Veanes, Margus ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API);

ABSTRACT STATE MACHINES; ABSTRACTION LEVEL; COMPONENT BEHAVIOR; DESIGN AND ANALYSIS; EXECUTABLE MODEL; HIGH-LEVEL SYSTEMS; SOFTWARE DEVELOPMENT CYCLES; SOFTWARE SYSTEMS; RUNTIME ENVIRONMENTS;

TOOLS; SOFTWARE DESIGN;

EID: 0004070718     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44518-8_21     Document Type: Conference Paper

References (7)

1. AsmGofer. http://www.tydo.de/AsmGofer/
2. Hugs98. http://www.haskell.org/hugs/
3. Mike Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Using ASMs at Microsoft: A case study. Technical report, Microsoft Research, Redmond, USA, 2000.
4. Egon Börger, Peter Päppinghaus, and Joachim Schmid. Report on a practical application of ASMs in software design. In This Volume. 5. Don Box. Essential COM. Addison-Wesley, Reading, MA, 1998.
5. Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones. H/Direct: A binary foreign language interface for Haskell. In Proc ACM Sigplan International Conference on Functional Programming (ICFP'98), Baltimore, pages 153-162, 1998.
6. Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones. Calling hell from heaven and heaven from hell. In Proc ACM Sigplan International Conference on Functional Programming (ICFP'99), Paris, France, 1999.
7. Foundations of Software Engineering, Microsoft Research. AsmHugs.http://www.research.microsoft.com/foundations/