Jump to content

Abstract State Machine Language

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 198.45.3.26 (talk) at 17:01, 12 July 2013 (External links: Previous link led to a page in Japanese (title translated as "Where's a good place to sell a car?"). Modified to first appropriate URL found by Googling "xaml specification".). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

AsmL
Paradigmfunctional
Designed byMicrosoft 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.