Cover Image
Read Now

Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction leve...

Full description

Bibliographic Details
Other Authors: Gurevich, Yuri (Editor), Kutter, Philipp W. (Editor), Odersky, Martin (Editor), Thiele, Lothar (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2000, 2000
Edition:1st ed. 2000
Series:Lecture Notes in Computer Science
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Formal Languages And Automata Theory
Database Management
Machine Theory
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Abstract State Machines at the Cusp of the Millenium
  • Mathematical Foundations
  • Abstract State Machines and Pure Mathematics
  • Abstract State Machines and Computationally Complete Query Languages
  • On Verification of Refinements of Timed Distributed Algorithms
  • Abstract State Machine Languages
  • Objects + Views = Components?
  • XASM- An Extensible, Component-Based Abstract State Machines Language
  • Generic Facilities in Object-Oriented ASMs
  • Distribution and Concurrency
  • Towards an ASM Thesis for Unconventional Algorithms
  • Partially Ordered Runs: A Case Study
  • Investigating Java Concurrency Using Abstract State Machines
  • Compilers and Semantics
  • Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
  • An ASM Dynamic Semantics for Standard ML
  • Modeling the Dynamics of UML State Machines
  • On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine
  • Description and Simulation of Microprocessor Instruction Sets Using ASMs
  • Automatic Verication and Model Checking
  • Symbolic Analysis of Transition Systems?
  • Encoding Abstract State Machines in PVS
  • Model Checking Abstract State Machines and Beyond
  • Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study
  • Industrial Applications
  • Report on a Practical Application of ASMs in Software Design
  • Using Abstract State Machines at Microsoft: A Case Study

Similar Items