Abstract State Machine Language: Difference between revisions

AsmL
Paradigm	functional
Designed by	Microsoft Corporation
Major implementations
	XASM

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Inline

Latest revision as of 05:39, 22 April 2024

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.

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

@@ Line 1: / Line 1: @@
+{{short description|Programming language}}
 {{infobox programming language
 | name                   = AsmL
@@ Line 15: / Line 16: @@
 }}
-'''Abstract State Machine Language''' ('''AsmL''') is a [[programming language]] based on the [[Abstract State Machines]] [[formal method]] and developed by [[Microsoft]]. AsmL is a [[functional language]] (which are commonly used in academic research).
+'''Abstract State Machine Language''' ('''AsmL''') is a [[programming language]] based on [[abstract state machine]]s<ref>
+Omar Badreddin (2010) "[[Umple]]: a model-oriented programming language." ''Software Engineering, 2010 ACM/IEEE 32nd International Conference on. Vol. 2''. IEEE, 2010.</ref> 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 programming|functional language]].<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.
+== References ==
+{{reflist}}
 ==External links==
-*[http://research.microsoft.com/fse/asml/ Microsoft: ASML]
+*[http://research.microsoft.com/en-us/projects/asml/ Microsoft: ASML]
-*[http://www.xasm.org/ XASM]
+*[http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html XASM]
 [[Category:.NET programming languages]]
 {{compu-lang-stub}}