Semantics: Foundations and Applications

1. Front Matter

   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

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.

• Action
• Alef
• Constraint
• concurrency
• functional programming
• logic
• programming
• programming language
• semantics

Policies and ethics