Abstract State Machine Language is a programming language created in 2001.

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.. Read more on Wikipedia...

• Abstract State Machine Language Wikipedia page
• Abstract State Machine Language first developed in Microsoft
• Abstract State Machine Language on HOPL