Skip to main content
SpringerLink
Log in

Semantics of Specification Languages (SoSL)

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. D. J. Andrews

    1. Department of Mathematics and Computer Science, University of Leicester, Leicester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. J. F. Groote

    1. Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. C. A. Middelburg

    1. Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. The Development of Z

    • Stephen Brien
    Pages 1-14

  3. An Overview of the Development of COLD

    • L. M. G. Feijs
    Pages 15-22

  4. The formal basis for the RAISE specification language

    • Robert Milne
    Pages 23-50

  5. The Static Part of the Design Language COLD-K

    • Gerard R. Renardel de Lavalette
    Pages 51-82

  6. Generation of Proof Obligations for Type Consistency (Extended Abstract)

    • Flemming M. Damm, Bo Stig Hansen
    Pages 83-100

  7. Experiences in Developing a Proof Theory for VDM Specifications

    • J. S. Fitzgerald, R. Moore
    Pages 101-117

  8. Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL

    • Peter Gorm Larsen
    Pages 118-134

  9. Loose Real-Time Communicating Agents

    • Hans Toetenel
    Pages 135-151

  10. A Timed Specification Language for Concurrent Reactive Systems

    • Michael Schenke
    Pages 152-167

  11. Multiparadigm Specification Languages: a First Attempt at Foundations

    • Egidio Astesiano, Maura Cerioli
    Pages 168-185

  12. The Semantics of Extended ML: A Gentle Introduction

    • Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
    Pages 186-215

  13. Type-checking Revisited: Modular Error-handling

    • T. B. Dinesh
    Pages 216-231

  14. Proof Theory for µCRL: A Language for Processes with Data.

    • Jan Friso Groote, Alban Ponse
    Pages 232-251

  15. Case Study: Stepwise Development of a Communication Processor using Trace Logic

    • Stephan Kleuker
    Pages 252-269

  16. Rendez- Vous with Bundle Event Structures

    • Bart Botma
    Pages 270-288

  17. Syntactic Action Refinement in Presence of Multiway Synchronization

    • Djamel-Eddine Saïdouni, Jean-Pierre Courtiat
    Pages 289-303

  18. From Implicit via Inductive to Explicit Definitions

    • Gerard R. Renardel de Lavalette
    Pages 304-314

  19. Verifying Process Algebra Proofs in Type Theory

    • M. P. A. Sellink
    Pages 315-339

  20. Reasoning about Dynamic Features in Specification Languages

    • Rix Groenboom, Gerard R. Renardel de Lavalette
    Pages 340-355
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Mathematics and Computer Science, University of Leicester, Leicester, UK

    D. J. Andrews

  • Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    J. F. Groote, C. A. Middelburg

Bibliographic Information

  • Book Title: Semantics of Specification Languages (SoSL)

  • Book Subtitle: Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993

  • Editors: D. J. Andrews, J. F. Groote, C. A. Middelburg

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3229-5

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1994

  • Softcover ISBN: 978-3-540-19854-3Published: 30 March 1994

  • eBook ISBN: 978-1-4471-3229-5Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 357

  • Number of Illustrations: 1 b/w illustrations

  • Additional Information: Published in collaboration with the British Computer Society

  • Topics: Software Engineering, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation