Abstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines formal method and developed by Microsoft.
AsmL |
---|
XASM is an open source implementation of the language. More infomation on this subject would be interesting.