5. ASM 1998: Magdeburg, Germany

New ASM Concepts

• Alexandre V. Zamulin: Object-Oriented Abstract State Machines. 1-21
• Wolfgang Schönfeld: Interacting Abstract State Machines. 22-36
• Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha: Interacting Abstract State Machines. 37-49

Compiler Correctness and Formal Semantics

• Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. 50-67
• Andreas Heberle, Welf Löwe: On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. 68-90
• Hans Tonino: A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. 91-110

Analysis and Verification of Protocols

• Arnaud Durand: Modeling Cache Coherence Protocol - A Case Study with FLASH. 111-126
• Giampaolo Bella, Elvinia Riccobene: A Realistic Environment for Crypto-Protocol Analyses by ASMs. 127-138

ASM Tool Support

• Giuseppe Del Castillo: The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. 139-154
• Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen: Developing New ASM-tools. 155-158