Can Abstract State Machines Be Useful in Language Theory?

Download Now
Provided by: Microsoft
Topic: Hardware
Format: PDF
The Abstract State Machine (ASM) is a modern computation model. ASMs and ASM based tools are used in academia and industry, albeit on a modest scale. They allow the users to give high-level operational semantics to computer artifacts and to write executable specifications of software and hardware at the desired abstraction level. In connection with the 2006 conference on Developments in Language Theory, the authors point out several ways that they believe abstract state machines can be useful to the DLT community.
Download Now

Find By Topic