Abstract State Machine Language

From Wikipedia, the free encyclopedia
Jump to: navigation, search
AsmL
Paradigm(s) functional
Designed by Microsoft Corporation
Major implementations XASM

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.

[edit] External links

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox
Print/export