Abstract State Machine Language

AsmL
AsmL
Paradigm	functional
Designed by	Microsoft Corporation
Major implementations
	XASM

Last updated August 10, 2025

Abstract State Machine Language (AsmL) is a programming language based on abstract state machines ^[1] developed by Microsoft.^[2] AsmL is a functional language.^[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 programming-language-related article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Omar Badreddin (2010) "Umple: a model-oriented programming language." Software Engineering, 2010 ACM/IEEE 32nd International Conference on. Vol. 2. IEEE, 2010.

[2] 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.

[3] Grieskamp, Wolfgang, et al. "Testable use cases in the abstract state machine language." Quality Software, 2001. Proceedings. Second Asia-Pacific Conference on. IEEE, 2001.

[1]

[2]

[3]