|
" Semantics of specification languages (SoSL) : "
Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
714338
|
| Doc. No
|
:
|
b536488
|
| Main Entry
|
:
|
Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg
|
| Title & Author
|
:
|
Semantics of specification languages (SoSL) : : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993\ Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg
|
| Publication Statement
|
:
|
Berlin: Springer, 1994
|
| Series Statement
|
:
|
Workshops in computing
|
| Page. NO
|
:
|
357 sider
|
| ISBN
|
:
|
3540198547
|
|
|
:
|
: 9783540198543
|
| 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.
|
| Added Entry
|
:
|
C A Middelburg
|
|
|
:
|
D J Andrews
|
|
|
:
|
J F Groote
|
| |