Abstract State Machine Language
Encyclopedia
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).
XASM is an open source implementation of the language.
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
based on the Abstract State Machines
Abstract State Machines
In computer science, an abstract state machine is a state machine operating on states which are arbitrary data structures .The ASM Method is a practical and scientifically well-founded systems engineering method which bridges...
formal method and developed by Microsoft
Microsoft
Microsoft Corporation is an American public multinational corporation headquartered in Redmond, Washington, USA that develops, manufactures, licenses, and supports a wide range of products and services predominantly related to computing through its various product divisions...
. AsmL is a functional language (which are commonly used in academic research).
XASM is an open source implementation of the language.