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.