Abstract
The notion of Abstract State Machines (ASMs), defined in [20], captures in mathematically rigorous yet transparent form some fundamental operational intuitions of computing, and the notation is familiar from programming practice and mathematical standards. This allows the practitioner to work with ASMs without any further explanation, viewing them as `pseudocode over abstract data’ which comes with a well defined semantics supporting the intuitive understanding. We therefore suggest to skip this chapter and to come back to it only should the need be felt upon further reading.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stärk, R.F., Schmid, J., Börger, E. (2001). Abstract State Machines. In: Java and the Java Virtual Machine. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59495-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-59495-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63997-5
Online ISBN: 978-3-642-59495-3
eBook Packages: Springer Book Archive