Semantic Scholar uses AI to extract papers important to this topic.
1 Introduction.- 1.1 Goals of the Book and Contours of its Method.- 1.1.1 Stepwise Refinable Abstract Operational Modeling.- 1.1… Expand The notion of Abstract State Machines (ASMs), defined in , captures in mathematically rigorous yet transparent form some… Expand We give an axiomatic description of parallel, synchronous algorithms. Our main result is that every such algorithm can be… Expand We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This… Expand We examine sequential algorithms and formulate a sequential-time postulate, an abstract-state postulate, and a bounded… Expand This paper provides a mathematical analysis of the Warren Abstract Machine for executing Prolog and a correctness proof for a… Expand Introduction. 1.: Evolving algebras 1993. Lipari guide. 2.: Annotated bibliography on evolving algebras. 3.: Program verification… Expand 2 Static Algebras and Updates 4 2.1 Static Algebras: Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4… Expand We present formal operational semantics for the C programming language. Our starting point is the ANSI standard for C as… Expand