Formal Program Development
IFIP TC2/WG 2.1 State-of-the-Art Report
(Sprache: Englisch)
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....
Leider schon ausverkauft
versandkostenfrei
Buch
85.59 €
42 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Program Development “
Klappentext zu „Formal Program Development “
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.
Inhaltsverzeichnis zu „Formal Program Development “
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.
Bibliographische Angaben
- 1993, 1993, 375 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Mitarbeit:Möller, Bernhard; Schuman, Steve; Partsch, Helmut A.
- Herausgegeben: Bernhard Möller, Steve Schuman, Helmut Partsch
- Verlag: Springer
- ISBN-10: 3540574999
- ISBN-13: 9783540574996
- Erscheinungsdatum: 29.11.1993
Sprache:
Englisch
Kommentar zu "Formal Program Development"
0 Gebrauchte Artikel zu „Formal Program Development“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Program Development".
Kommentar verfassen