Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. M. Anlauff. Asian: 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 of and Development Environments for Montages. In M. Selh’nk, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Workshops in Computing, Amsterdam, 1997. Springer.
3. Lect Notes Comput Sci;B. Beckert,1996
4. G. Del Castillo. ASM-SL, a Specification Language based on Gurevich’s Abstract State Machines: Introduction and Tutorial. Technical report (to appear), Universität-GH Paderborn, 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.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The CoreASM modeling framework;Software: Practice and Experience;2011-01-23
2. JASMine: Accessing Java Code from CoreASM;Rigorous Methods for Software Construction and Analysis;2009
3. High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM;Communications in Computer and Information Science;2008
4. Computer-Aided Analysis and Validation of Heterogeneous System Specifications;Computer Aided Systems Theory - EUROCAST’99;2000
5. Model Checking Support for the ASM High-Level Language;Tools and Algorithms for the Construction and Analysis of Systems;2000