Abstract State Machine Language

This is an old revision of this page, as edited by Addbot (talk | contribs) at 00:15, 9 January 2013 (Bot: Removing Orphan Tag (Nolonger an Orphan) (Report Errors)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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).

AsmL
Paradigmfunctional
Designed byMicrosoft Corporation
Major implementations
XASM

XASM is an open source implementation of the language.