Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Semantics: Foundations and Applications

REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. J. W. Bakker
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. W. -P. Roever
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. G. Rozenberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 666)

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

Access this book

Log in via an institution
Softcover Book USD 109.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 (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Predicate transformers and higher order logic

    • R. J. R. Back, J. von Wright
    Pages 1-20

  3. Trace Nets

    • Eric Badouel, Philippe Darondeau
    Pages 21-50

  4. Proving total correctness of programs in weak second-order logic

    • Rudolf Berghammer, Birgit Elbl, Ulf Schmerl
    Pages 51-72

  5. On blocks: locality and asynchronous communication

    • F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
    Pages 73-90

  6. Semantics, orderings and recursion in the weakest precondition calculus

    • Marcello Bonsangue, Joost N. Kok
    Pages 91-109

  7. A categorical model for logic programs: Indexed monoidal categories

    • Andrea Corradini, Andrea Asperti
    Pages 110-137

  8. A categorical view of process refinement

    • P. Degano, R. Gorrieri, G. Rosolini
    Pages 138-153

  9. Compact metric information systems

    • Abbas Edalat, Michael B. Smyth
    Pages 154-173

  10. Asynchronous rendez-vous in distributed logic programming

    • A. Eliëns, E. P. de Vink
    Pages 174-203

  11. New semantic tools for logic programming

    • Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    Pages 204-235

  12. Temporal preconditions of recursive procedures

    • Wim H. Hesselink, Ronald Reinds
    Pages 236-260

  13. Towards an epistemic approach to reasoning about concurrent programs

    • W. van der Hoek, M. van Hulst, J. -J. Ch. Meyer
    Pages 261-287

  14. A fully abstract model for a nonuniform concurrent language with parameterization and locality

    • Eiichi Horita
    Pages 288-317

  15. SPCF: its model, calculus, and computational power

    • Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen
    Pages 318-347

  16. Infinite behaviour and fairness in concurrent constraint programming

    • Marta Kwiatkowska
    Pages 348-383

  17. Full abstraction and unnested recursion

    • Michael W. Mislove, Frank J. Oles
    Pages 384-397

  18. On the action semantics of concurrent programming languages

    • Peter D. Mosses
    Pages 398-424

  19. Layered predicates

    • Flemming Nielson, Hanne Riis Nidson
    Pages 425-456

  20. A hyperdoctrinal view of concurrent constraint programming

    • Prakash Panangaden, Vijay Saraswat, P. J. Scott, R. A. G. Seely
    Pages 457-476
Back to top

Keywords

About this book

Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation