Abstract State Machine Language: Difference between revisions

Content deleted Content added
External links: Previous link led to a page in Japanese (title translated as "Where's a good place to sell a car?"). Modified to first appropriate URL found by Googling "xaml specification".
+ Reference(s)
Line 1:
{{notability|date=October 2011}}
 
{{infobox programming language
| name = AsmL
Line 17 ⟶ 15:
}}
 
'''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).<ref>
Omar Badreddin (2010) "[[Umple]]: a model-oriented programming language." ''Software Engineering, 2010 ACM/IEEE 32nd International Conference on. Vol. 2''. IEEE, 2010.</ref> [[formal method]] and 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 language]] (which are commonly used in academic research).<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|2}}
 
==External links==