Skip to main content
SpringerLink
Log in

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

  • Book
  • © 1993

Overview

Editors:
  1. Bernhard Möller
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Helmut Partsch
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Steve Schuman
    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 755)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

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 54.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 (13 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman
    Pages 1-6

  3. Elements of a relational theory of datatypes

    • Roland Backhouse, Paul Hoogendijk
    Pages 7-42

  4. From dynamic programming to greedy algorithms

    • Richard Bird, Oege de Moor
    Pages 43-61

  5. Practical transformation of functional programs for efficient execution: A case study

    • James M. Boyle, Terence J. Harmer
    Pages 62-88

  6. Behavior-oriented specification in Gist

    • Martin S. Feather
    Pages 89-122

  7. Derivation of graph and pointer algorithms

    • Bernhard Möller
    Pages 123-160

  8. The refinement calculus, and literate development

    • Carroll Morgan
    Pages 161-182

  9. Formal problem specification on an algebraic basis

    • H. A. Partsch
    Pages 183-224

  10. Program development in an algebraic setting

    • Peter Pepper
    Pages 225-262

  11. Rules and strategies for program transformation

    • Alberto Pettorossi, Maurizio Proietti
    Pages 263-304

  12. Endomorphic typing

    • Michel Sintzoff
    Pages 305-323

  13. Automating the design of algorithms

    • Douglas R. Smith
    Pages 324-354

  14. Virtual data structures

    • Doaitse Swierstra, Oege de Moor
    Pages 355-371

  15. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation