Title

The Static and Dynamic Semantics of C (Extended Abstract)

Document Type

Contribution to Book

Publication Date

3-2000

Publication Title

Abstract State Machines - Theory and Applications

Conference Name

International Workshop on Abstract State Machines

Abstract

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.

Comments

Print ISBN: 978-3540679592

Rights Statement

© Springer 2000

Link to Full Text

Share

COinS