Author:
Paulweber Philipp,Zdun Uwe
Publisher
Springer International Publishing
Reference7 articles.
1. Gurevich, Y.: Evolving Algebras 1993: Lipari Guide Specification and Validation Methods, pp. 9–36. Oxford University Press, Inc., New York (1995)
2. Börger, E.: The abstract state machines method for high-level system design and analysis. In: Boca, P., Bowen, J.P., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 79–116. Springer, London (2010)
3. Lezuo, R., Barany, G., Krall, A.: CASM: implementing an abstract state machine based programming language. In: Software Engineering (Workshops), pp. 75–90 (2013)
4. Lezuo, R., Paulweber, P., Krall, A.: CASM - optimized compilation of abstract state machines. In: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pp. 13–22. ACM (2014)
5. Lecture Notes in Computer Science;Y Gurevich,2004
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献