Abstract State Machine Language: Difference between revisions

Revision as of 18:19, 8 November 2006

Latest revision as of 17:04, 9 August 2025

(18 intermediate revisions by 16 users not shown)

Line 1:

{{Infoboxshort programmingdescription|Programming language}}

{{infobox programming language

|name = AsmL

| name = AsmL

| year =

| designer = [[Microsoft Corporation]]

| latest_release_version =

| latest_release_date =

| latest_test_version =

| latest_test_date =

| implementations = XASM

| influenced_by =

| typing =

| dialects =

| influenced =

| paradigm = [[functional programming|functional]]

}}

'''Abstract State Machine Language''' ('''AsmL''') is a [[programming language]] based on the [[Abstractabstract Statestate Machinesmachine]] [[formal method]] and developed by [[Microsoft]]. AsmL is a Functional language (which are commonly used in research or academia).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/fseen-us/projects/asml/ Microsoft: ASML]

*[httphttps://www.xasm.orgsourceforge.net/XasmAnl00/XasmAnl00.html XASM]

[[Category:.NET programming languages]]

{{compu-lang-stub}}