Abstract State Machine Language Explained

AsmL
Designer:Microsoft Corporation
Implementations:XASM
Paradigm:functional

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.

External links

Notes and References

  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.