Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

J. W. De Bakker

ISBN 10: 3540565965 / ISBN 13: 9783540565963

Edité par Springer Berlin Heidelberg, 1993

A propos de cet article

Druck auf Anfrage Neuware - Printed after ordering - Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meeting and contains materialprepared by the lecturers after the meeting took place. Thevolume includes papers on a wide range of topics in bothfoundationsand applications, including:- Comparative domain theory, category theory, informationsystems,- Concurrency: process algebras, asynchronous communication,action semantics, trace nets, process refinement, concurrentconstraint programming,- Predicate transformers, refinement,weakest preconditions,- Comparative semantics of programming concepts, fullabstraction,- Reasoning about programs: total correctness, epistemiclogic,- Logic programming,- Functional programming: sequentiality, integration withconcurrency, applied structured operational semantics.The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by theNetherlands NFI (NationaleFaciliteit Informatica)Programme.

N° de réf. du vendeur 9783540565963

Détails bibliographiques

• Titre: Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
• Éditeur: Springer Berlin Heidelberg
• Date de parution: 1993
• Langue: anglais
• ISBN à 10 chiffres: 3540565965
• ISBN à 13 chiffres: 9783540565963
• Reliure: Taschenbuch
• État de l'article: Neu

A propos de ce titre

Synopsis

This volume is based on a workshop on the semantics of programming languages held in The Netherlands in June 1992. A wide range of topics in foundations and applications are covered. The workshop was an activity of the Netherlands NFI project REX.