We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …

In this paper the abstract state machine (ASM) refinement method is presented. Its
characteristics compared to other refinement approaches in the literature are explained …

We provide an introduction to a practical method for rigorous system development which has
been used successfully, under industrial constraints, for design and analysis of complex …

The paper provides a mathematical yet simple model for the full programming language
Prolog, as apparently intended by the ISO draft standard proposal. The model includes all …

Declarative multi-paradigm languages combine the most important features of functional,
logic and concurrent programming. The computational model of such integrated languages …

The research belonging to the Abstract State Machines approach to system design and
analysis is surveyed and documented in an annotated ASM bibliography. The survey covers …

In this paper I answer the question how evolving algebras can be used for the design and
analysis of complex hardware and software systems. I present the salient features of this …

arxiv:cs/9811014v1 [cs.SE] 9 Nov 1998 Page 1 arxiv:cs/9811014v1 [cs.SE] 9 Nov 1998
Abstract State Machines 1988-1998: Commented ASM Bibliography Egon Börger and James K …

Abstract State Machines: a unifying view of models of computation and of system design
frameworks Page 1 Annals of Pure and Applied Logic 133 (2005) 149–171 www.elsevier.com/locate/apal …

We survey the use of Abstract State Machines in the area of programming languages,
namely to define behavioural properties of programs at source, intermediate and machine …