Skip to main content
SpringerLink
Log in

International Symposium on Programming

5th Colloquium, Turin, April 6-8, 1982. Proceedings

  • Conference proceedings
  • © 1982

Overview

Editors:
  1. Mariangiola Dezani-Ciancaglini
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ugo Montanari
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 137)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Applicative communicating processes in first order logic

    • Marco Bellia, Pierpaolo Degano, Giorgio Levi, Enrico Dameri, Maurizio Martelli
    Pages 1-14

  3. A machine-level semantics for nondeterministic, parallel programs

    • David B. Benson
    Pages 15-25

  4. A formalized proof system for total correctness of while programs

    • J. A. Bergstra, J. W. Klop
    Pages 26-36

  5. Automatic program transformation viewed as theorem proving

    • Ernesto J. F. Costa
    Pages 37-46

  6. An enlarged definition and complete axiomatization of observational congruence of finite processes

    • Ph. Darondeau
    Pages 47-62

  7. Perluette : A compilers producing system using abstract data types

    • Ph. Deschamp
    Pages 63-77

  8. A weakest precondition semantics for communicating processes

    • Tzilla Elrad, Nissim Francez
    Pages 78-90

  9. From abstract model to efficient compilation of patterns

    • Pär Emanuelson
    Pages 91-104

  10. Computer-based synthesis of logic programs

    • Agneta Eriksson, Anna-Lena Johansson
    Pages 105-115

  11. On some syntactic equivalences of program schemas and related transformations

    • M. P. Fle, G. Roucairol
    Pages 116-131

  12. Procedures and concurrency: A study in proof

    • Rob Gerth, Willem P. de Roever, Marly Roncken
    Pages 132-163

  13. Another characterization of weakest preconditions

    • Pedro Guerreiro
    Pages 164-177

  14. Powerdomains and nondeterministic recursive definitions

    • M. C. B. Hennessy
    Pages 178-193

  15. Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code

    • Peter G. Hibbard, Thomas L. Rodeheffer
    Pages 194-211

  16. The simple semantics for Coppo-Dezani-Sallé types

    • J. R. Hindley
    Pages 212-226

  17. Proving the correctness of implementations of shared data abstractions

    • L. Kozma
    Pages 227-241

  18. Specification of communicating processes and process implementation correctness

    • Philippe Jorrand
    Pages 242-256

  19. A system for reasoning within and about algebraic specifications

    • Jaoek Leszczylowski, Martin Wirsing
    Pages 257-282

  20. Tuning algebraic specifications by type merging

    • A. Laut, H. Partsch
    Pages 283-304
Back to top

Keywords

Bibliographic Information

  • Book Title: International Symposium on Programming

  • Book Subtitle: 5th Colloquium, Turin, April 6-8, 1982. Proceedings

  • Editors: Mariangiola Dezani-Ciancaglini, Ugo Montanari

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-11494-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • Softcover ISBN: 978-3-540-11494-9Published: 01 March 1982

  • eBook ISBN: 978-3-540-39184-5Published: 29 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 416

  • Topics: Logics and Meanings of Programs, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation