Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1974

Programming Symposium

Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974

Editors:

  1. B. Robinet
    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 19)

Sections

Buy it now

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 (30 papers)

  1. Front Matter

    PDF

  2. Introduction

    Pages 1-8

  3. On a measure of program structure

    • R. N. Chanon
    Pages 9-16

  5. A proposed system for structured programming

    • T. E. Cheatham Jr., Judy A. Townley
    Pages 33-40

  7. Proving program correctness in LCF

    • Luigia Aiello, Mario Aiello
    Pages 59-71

  8. Finite state testing of structured programs

    • P. Henderson, P. Quarendon
    Pages 72-80

  9. Structured recursive programming

    • Robert E. Noonan, Dale J. Panton
    Pages 81-87

  10. Top-down approach to the synthesis of programs

    • G. Degli Antoni, P. A. Miglioli, M. Ornaghi
    Pages 88-108

  11. A more mechanical approach to program verification

    • Irene Greif, Richard Waldinger
    Pages 109-119

  12. Tree structures handling by aps

    • Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli
    Pages 120-129

  13. Towards a high-level job control language

    • Aaron Felix Gurski
    Pages 130-140

  17. On the transfer of control between contexts

    • B. W. Lampson, J. G. Mitchell, E. H. Satterthwaite
    Pages 181-203
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Programming Symposium

  • Book Subtitle: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974

  • Editors: B. Robinet

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1974

  • Softcover ISBN: 978-3-540-06859-4Published: 05 November 1974

  • eBook ISBN: 978-3-540-37819-8Published: 15 September 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 432

  • Topics: Computer Science, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation