Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Semantics of Specification Languages (SoSL)

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
Buch | Softcover
VIII, 357 Seiten
1994 | 1. Softcover reprint of the original 1st ed. 1994
Springer Berlin (Verlag)
978-3-540-19854-3 (ISBN)

Lese- und Medienproben

Semantics of Specification Languages (SoSL) -
CHF 74,85 inkl. MwSt
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 Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its aim was the exchange of problems and ideas in this field of formal methods, and the identification of common programs of work for further investigation. The program of SoSL consisted of 3 invited lectures presenting the developments of the semantics of 3 major specification languages. Furthermore, there were 16 presentations of submitted papers. This volume provides a direct account of the workshop. It contains 3 papers that match the invited lectures and the 16 selected papers. The editors want to thank all those who have contributed to the workshop; the Program Committee and the referees for selecting the contributed papers, the invited speakers for their interesting talks, the Organizing Committee for all their efforts, and of course the participants. We have the feeling that the workshop was worthwhile and should be repeated.

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.

Erscheint lt. Verlag 30.3.1994
Reihe/Serie Workshops in Computing
Zusatzinfo VIII, 357 p. 1 illus.
Verlagsort London
Sprache englisch
Maße 155 x 235 mm
Gewicht 630 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Schlagworte Design • Development • language • Logic • Process Algebra • Proof theory • Semantics
ISBN-10 3-540-19854-7 / 3540198547
ISBN-13 978-3-540-19854-3 / 9783540198543
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
CHF 41,85