Towards comprehensive tool support for abstract state machines: The ASM workbench tool environment and architecture

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

Volumn 1641, Issue , 1999, Pages 311-325

  del Castillo, Giuseppe ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACT STATE MACHINES; BASIC CONCEPTS; ITS ARCHITECTURE; TOOL SUPPORT;

FORMAL METHODS;

EID: 84957648364     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48257-1_21     Document Type: Conference Paper

References (22)

1. M. Anlauff. Aslan: Programming in Abstract State Machines (draft of the language specification). Available at http://www.first.gmd.de/~ma/projects.htm, 1998.
2. M. Anlauff, P. Kutter, and A. Pierantonio. Formal Aspects oí and Development Environments for Montages. In M. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Workshops in Computing, Amsterdam, 1997. Springer.
3. B. Beckert and J. Posegga. leanEA: A Lean Evolving Algebra Compiler. In H. Kleine Büning, editor, Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'95), volume 1092 of LNCS, pages 64-85. Springer, 1996.
4. G. Del Castillo. ASM-SL, a Specification Language based on Gurevich's Abstract State Machines: Introduction and Tutorial. Technical report (to appear), Univer- sität-GH Paderbom, 1999.
5. L. Damas and R. Milner. Principal type schemes for functional programs. In Proceedings of the 9th ACM Symposium on Principles of Programming Languages, pages 207-212, 1982.
6. D. Diesen. Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages. Dr. scient. degree thesis, Dept, of Informatics, University of Oslo, Norway, March 1995.
7. D. Diesen, T.O. Svendsen, and B. Thorstensen. Developing new ASM tools. In U. Glässer and P.H. Schmitt, editors, Proceedings of the Fifth International Workshop on Abstract State Machines, pages 155-158, Magdeburg, Germany, September 1998.
8. I. Durdanovic. From Operational Specifications to Real Architectures (work in progress). PhD thesis, Universität-GH Paderbom, to appear in 1999.
9. FALKO-Fahrplanvalidierung und Konstruktion in Nahverkehrssystemen. Siemens München, ZT SE 4.
10. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
11. Y. Gurevich and J. Huggins. Evolving Algebras and Partial Evaluation. In B. Pehrson and I. Simon, editors, IFIP 13th World Computer Congress, volume I: Technology/Foundations, pages 587-592, Elsevier, Amsterdam, the Netherlands, 1994.
12. J. Huggins and R. Mani. The Evolving Algebra Interpreter Version 2.0. Documentation of the Michigan Evolving Algebra Interpreter, available electronically at ftp: //ftp.eecs.umich.edu/groups/Ealgebras/interp2.tar.Z.
13. C.B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990.
14. A.M. Kappel. Executable Specifications Based on Dynamic Algebras. In A. Voronkov, editor, Logic Programming and Automated Reasoning, volume 698 of Lecture Notes in Artificial Intelligence, pages 229-240. Springer, 1993.
15. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
16. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison- Wesley, 1997.
17. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
18. S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Verification System. In Deepak Kapur, editor, Proceedings of the 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Computer Science, pages 748-752. Springer-Verlag, 1992.
19. W. Reif, G. Schellhom, K. Stenzel, and M. Balser. Structured specifications and interactive proofs with KIV. In W. Bibel and P. Schmitt, editors, Automated Deduction-A Basis for Applications. Kluwer Academic Publishers, 1998.
20. G. Schellhom and W. Ahrendt. Reasoning about Abstract State Machines: The WAM Case Study. Journal of Universal Computer Science, 3(4):377-413, 1997.
21. K. Winter. Model Checking for Abstract State Machines. Journal of Universal Computer Science, 3(5):689-701, 1997.
22. W. Zimmerman and T. Gaul. On the Constmction of Correct Compiler BackEnds: An ASM Approach. Journal of Universal Computer Science, 3(5):504-567, 1997.