Semantics: Foundations and Applications

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

667 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• ISBN: 9783540565963
• Sprache: Englisch
• Erscheinungsdatum: 29.04.1993
• Genre: Informatik, EDV/Programmiersprachen
• Verlag: Springer Berlin
• Herausgegeben von: J.W.de Bakker, W.-P.de Roever, G. Rozenberg