Overview
- Editors:
-
-
J. W. Bakker
-
W. -P. Roever
-
G. Rozenberg
Access this book
Other ways to access
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.
Similar content being viewed by others
Table of contents (25 papers)
-
-
- R. J. R. Back, J. von Wright
Pages 1-20
-
- Eric Badouel, Philippe Darondeau
Pages 21-50
-
- Rudolf Berghammer, Birgit Elbl, Ulf Schmerl
Pages 51-72
-
- F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
Pages 73-90
-
- Marcello Bonsangue, Joost N. Kok
Pages 91-109
-
- Andrea Corradini, Andrea Asperti
Pages 110-137
-
- P. Degano, R. Gorrieri, G. Rosolini
Pages 138-153
-
- Abbas Edalat, Michael B. Smyth
Pages 154-173
-
- A. Eliëns, E. P. de Vink
Pages 174-203
-
- Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
Pages 204-235
-
- Wim H. Hesselink, Ronald Reinds
Pages 236-260
-
- W. van der Hoek, M. van Hulst, J. -J. Ch. Meyer
Pages 261-287
-
-
- Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen
Pages 318-347
-
-
- Michael W. Mislove, Frank J. Oles
Pages 384-397
-
-
- Flemming Nielson, Hanne Riis Nidson
Pages 425-456
-
- Prakash Panangaden, Vijay Saraswat, P. J. Scott, R. A. G. Seely
Pages 457-476