Möller

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report
Mitarbeit:Möller, Bernhard; Partsch, Helmut A.; Schuman, Steve

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 755
• Verlag: Springer, Berlin
• 1993.
• Seitenzahl: 388
• Erscheinungstermin: 29. November 1993
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 505g
• ISBN-13: 9783540574996
• ISBN-10: 3540574999
• Artikelnr.: 09253158

Inhaltsangabe

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.