Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

ISBN-13: 9783540574996 / Angielski / Miękka / 1993 / 375 str.

Bernhard Möller;Helmut Partsch;Steve Schuman

Opis

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

Spis treści

Elements of a relational theory of datatypes.- From dynamic programming to greedy algorithms.- Practical transformation of functional programs for efficient execution: A case study.- Behavior-oriented specification in Gist.- Derivation of graph and pointer algorithms.- The refinement calculus, and literate development.- Formal problem specification on an algebraic basis.- Program development in an algebraic setting.- Rules and strategies for program transformation.- Endomorphic typing.- Automating the design of algorithms.- Virtual data structures.