Semantics of Specification Languages (SoSL) Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederl...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
1994, 1994
|
| Edition: | 1st ed. 1994 |
| Series: | Workshops in Computing
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- The Development of Z
- An Overview of the Development of COLD
- The Formal Basis for the RAISE Specification Language
- The Static Part of the Design Language COLD-K
- Generation of Proof Obligations for Type Consistency (Extended Abstract)
- Experiences in Developing a Proof Theory for VDM Specifications
- Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL
- Loose Real-Time Communicating Agents
- A Timed Specification Language for Concurrent Reactive Systems
- Multiparadigm Specification Languages: A First Attempt at Foundations
- The Semantics of Extended ML: A Gentle Introduction
- Type-Checking Revisited: Modular Error-Handling
- Proof Theory for µCRL: A Language for Processes with Data
- Case Study: Stepwise Development of a Communication Processor Using Trace Logic
- Rendez-vous with Bundle Event Structures
- Syntactic Action Refinement in Presence of Multiway Synchronization
- From Implicit via Inductive to Explicit Definitions
- Verifying Process Algebra Proofs in Type Theory
- Reasoning About Dynamic Features in Specification Languages—A Modal View on Creation and Modification
- Author Index