Abstract State Machine Language: Difference between revisions

Revision as of 23:02, 18 July 2013

Revision as of 06:18, 13 August 2013

Line 16:

'''Abstract State Machine Language''' ('''AsmL''') is a [[programming language]] based on the [[Abstract State Machines]]<ref>

Omar Badreddin (2010) "[[Umple]]: a model-oriented programming language." ''Software Engineering, 2010 ACM/IEEE 32nd International Conference on. Vol. 2''. IEEE, 2010.</ref> [[formal method]] and developed by [[Microsoft]].<ref>Chen, Kai, Janos Sztipanovits, and Sandeep Neema. "Toward a semantic anchoring infrastructure for ___domain-specific modeling languages." Proceedings of the 5th ACM international conference on Embedded software. ACM, 2005.</ref>. AsmL is a [[functional language]] (which are commonly used in academic research).<ref>Grieskamp, Wolfgang, et al. "Testable use cases in the abstract state machine language." Quality Software, 2001. Proceedings. Second Asia-Pacific Conference on. IEEE, 2001.</ref>

XASM is an open source implementation of the language.

Line 28:

[[Category:.NET programming languages]]

{{compu-lang-stub}}