Abstract State Machine Language: Difference between revisions

Revision as of 18:20, 8 November 2006

Revision as of 18:21, 8 November 2006

Line 3:

}}

'''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 or academia).

XASM is an open source implementation of the language.