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

Instant online reading.
Don't wait for delivery!

Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

By: Yuri Gurevich (Editor), Philipp W. Kutter (Editor), Martin Odersky (Editor)

Write A Review

Paperback | 23 August 2000

At a Glance

Paperback
396 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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 levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¨asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages"). In response to the organization committee's call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Architecture & Logic Design Medicine Medicine in General Mathematics Mathematical Foundation

Mathematical Logic Databases Artificial Intelligence

Introduction
Abstract State Machines at the Cusp of the Millennium	p. 1
Mathematical Foundations
Abstract State Machines and Pure Mathematics	p. 9
Abstract State Machines and Computationally Complete Query Languages	p. 22
On Verification of Refinements of Timed Distributed Algorithms	p. 34
Abstract State Machine Languages
Objects + Views = Components?	p. 50
Xasm - An Extensible, Component-Based ASM Language	p. 69
Generic Facilities in Object-Oriented ASMs	p. 91
Distribution and Concurrency
Towards an ASM Thesis for Unconventional Algorithms	p. 112
Partially Ordered Runs: A Case Study	p. 131
Investigating Java Concurrency Using Abstract State Machines	p. 151
Compilers and Semantics
Verifying Compilers and ASMs	p. 177
An ASM Dynamic Semantics for Standard ML	p. 203
Modeling the Dynamics of UML State Machines	p. 223
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine	p. 242
Description and Simulation of Microprocessor Instruction Sets	p. 266
Automatic Verification and Model Checking
Symbolic Analysis of Transition Systems	p. 287
Encoding Abstract State Machines in PVS	p. 303
Model Checking Abstract State Machines and Beyond	p. 323
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study	p. 341
Industrial Applications
Report on a Practical Application of ASMs in Software Design	p. 361
Using Abstract State Machines at Microsoft: A Case Study	p. 367
Author Index	p. 381
Table of Contents provided by Publisher. All Rights Reserved.

Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The Tech Coup

How to Save Democracy from Silicon Valley

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

Handbook of Smart Manufacturing Technologies

Industrial Engineering in the Digital Age

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Bioengineering and IoT

Shaping the Future of Healthcare

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Driving Intelligence: The Green Book

Routes to Autonomy

The Shortest History of AI

Generative Artificial Intelligence

Technology and Applications

Emerging Trends in Information Systems and Technologies

WorldCIST 2025 Volume 2

Ideal Subjects Volume 76

The Abstract People of AI

Ideal Subjects Volume 76

The Abstract People of AI

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Knowledge and Systems Sciences

24th International Symposium, KSS 2025, Kitakyushu, Japan, November 28 - December 1, 2025, Proceedings

ICT Systems and Sustainability

Proceedings of ICT4SD 2025, Volume 3

Data Science and Network Engineering

Proceedings of ICDSNE 2025

Document Analysis and Recognition - ICDAR 2025 Workshops

Wuhan, China, September 20-21, 2025, Proceedings, Part I

This product is categorised by