+612 9045 4394
Formal Program Development : Ifip Tc2/Wg 2.1 State-Of-The-Art Report - B. Moller

Formal Program Development

Ifip Tc2/Wg 2.1 State-Of-The-Art Report

By: B. Moller (Editor), Helmut A. Partsch (Editor), Steve Schuman (Editor)

Paperback Published: 29th November 1993
ISBN: 9783540574996
Number Of Pages: 375

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

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.

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.

ISBN: 9783540574996
ISBN-10: 3540574999
Series: Lecture Notes in Computer Science / Lecture Notes in Artific
Audience: General
Format: Paperback
Language: English
Number Of Pages: 375
Published: 29th November 1993
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.06
Weight (kg): 0.55