You can edit almost every page by Creating an account and confirming your email.

Abstract State Machine Language: Difference between revisions

From EverybodyWiki Bios & Wiki
WikiMasterBot2 (talk | contribs)
m WikiMasterBot2 moved page Kept on Wikipedia:Abstract State Machine Language to Abstract State Machine Language without leaving a redirect: move to main NS
WikiMasterBot2 (talk | contribs)
m automatic correction by IA
Line 1: Line 1:
<!-- Please do not remove or change this AfD message until the discussion has been closed. -->
{{Article for deletion/dated|page=Abstract State Machine Language|timestamp=20220704155300|year=2022|month=July|day=4|substed=yes}}
{{Article for deletion/dated|page=Abstract State Machine Language|timestamp=20220704155300|year=2022|month=July|day=4|substed=yes}}
<!-- Once discussion is closed, please place on talk page: {{Old AfD multi|page=Abstract State Machine Language|date=4 July 2022|result='''keep'''}} -->
<!-- Once discussion is closed, please place on talk page: {{Old AfD multi|page=Abstract State Machine Language|date=4 July 2022|result='''keep'''}} -->
Line 19: Line 18:
}}
}}


'''Abstract State Machine Language''' ('''AsmL''') is a [[programming language]] based on [[abstract state machine]]s<ref>
'''Abstract State Machine Language''' ('''AsmL''') is a [[programming language]] based on [[abstract state machines]]<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>
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>



Revision as of 08:53, 24 April 2026

AsmL
Paradigmfunctional
Designed byMicrosoft Corporation
Website{{#property:P856}}
Major implementations
XASM

Search Abstract State Machine Language on Amazon.

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

  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.

External links



This article "Abstract State Machine Language" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Abstract State Machine Language. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

Page kept on Wikipedia This page exists already on Wikipedia.