Toward Industrial Strength Abstract State Machines

A powerful practical ASM language, called AsmL, is being developed in Microsoft Research by the group on Foundations of Software Engineering. AsmL extends the language of original ASMs in a number of directions. We describe some of these extensions.

tr-2001-98.ps
PostScript file
tr-2001-98.pdf
PDF file

Details

TypeTechReport
NumberMSR-TR-2001-98
Pages12
InstitutionMicrosoft Research
> Publications > Toward Industrial Strength Abstract State Machines