Jump to content

Abstract State Machine Language

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Gddrd n (talk | contribs) at 03:52, 26 October 2006. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
AsmL

Abstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines formal method and developed by Microsoft.

XASM is an open source implementation of the language. More infomation on this subject would be interesting.