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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gurevich, Yuri (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kutter, Philipp W. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Odersky, Martin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Thiele, Lothar (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1912
• Θέματα: Computer logic.; Software engineering.; Programming languages (Electronic computers).; Mathematical logic.; Database management.; Logics and Meanings of Programs.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Mathematical Logic and Formal Languages.; Database Management.

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...

Πίνακας περιεχομένων:

• 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.