Abstract State Machine Language
| Paradigm | functional |
|---|---|
| Designed by | Microsoft Corporation |
| Major implementations | |
| XASM | |
Abstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines[1] formal method and developed by Microsoft.[2] AsmL is a functional language (which are commonly used in academic research).[3]
XASM is an open source implementation of the language.
References
- ↑ Omar Badreddin (2010) "Umple: a model-oriented programming language." Software Engineering, 2010 ACM/IEEE 32nd International Conference on. Vol. 2. IEEE, 2010.
- ↑ 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.
- ↑ Grieskamp, Wolfgang, et al. "Testable use cases in the abstract state machine language." Quality Software, 2001. Proceedings. Second Asia-Pacific Conference on. IEEE, 2001.
External links
This article is issued from Wikipedia - version of the Tuesday, August 13, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.