Logician in the Land of OS: Abstract State Machines in Microsoft
نویسنده
چکیده
Analysis of foundational problems like “What is computation?” leads to a sketch of the paradigm of abstract state machines (ASMs). This is followed by a brief discussion on ASMs applications. Then we present some theoretical problems that bridge between the traditional LICS themes and abstract state machines.
منابع مشابه
Abstract State Machines: An Overview of the Project
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052
متن کاملUsing Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
State Machines Margus Veanes and Ando Saabas 1 Microsoft Research, Redmond, WA, USA [email protected] 2 Institute of Cybernetics Tallinn University of Technology, Tallinn, Estonia
متن کاملGeneral Interactive Small-Step Algorithms
In earlier work, the Abstract State Machine Thesis — that arbitrary algorithms are behaviorally equivalent to abstract state machines — was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and the proof to cover interactive...
متن کاملAn Executable Specification of C++
The Abstract State Machines (ASMs) theory has been applied to rigorously formalize the semantics of the C♯ programming language. The developed ASM model is validated here by providing an executable model which supports the experimentation with the ASM model. The executable model is a refinement of the ground model and is implemented in AsmL – the Abstract State Machine Language, which is embedd...
متن کاملA Formal Framework for “Living” Cooperative Information Systems
This paper constructs a high-level Abstract State Machine (ASM) model of our conceptual software architecture for “living” cooperative information systems founded in living systems theory. For practical execution, we use AsmL, the Abstract state machine Language developed at Microsoft Research and integrated with Visual Studio, to refine the ASM model to an executable system model for evaluation.
متن کامل