Jump to content

Abstract State Machine Language

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by WOSlinker (talk | contribs) at 11:44, 23 May 2019 (remove portal link). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

AsmL
Paradigmfunctional
Designed byMicrosoft 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

  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.


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Abstract_State_Machine_Language&oldid=898411367"