Skip to main content
  • Conference proceedings
  • © 1982

International Symposium on Programming

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

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

Buy it now

Buying options

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

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

Table of contents (25 papers)

  1. Front Matter

  2. Applicative communicating processes in first order logic

    • Marco Bellia, Pierpaolo Degano, Giorgio Levi, Enrico Dameri, Maurizio Martelli
    Pages 1-14
  3. A weakest precondition semantics for communicating processes

    • Tzilla Elrad, Nissim Francez
    Pages 78-90
  4. Computer-based synthesis of logic programs

    • Agneta Eriksson, Anna-Lena Johansson
    Pages 105-115
  5. Procedures and concurrency: A study in proof

    • Rob Gerth, Willem P. de Roever, Marly Roncken
    Pages 132-163
  6. A system for reasoning within and about algebraic specifications

    • Jaoek Leszczylowski, Martin Wirsing
    Pages 257-282
  7. Tuning algebraic specifications by type merging

    • A. Laut, H. Partsch
    Pages 283-304

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

Buy it now

Buying options

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