Specification And Transformation Of Programs

Author: Helmut A. Partsch
Editor: Springer Science & Business Media
ISBN: 3642615120
File Size: 48,48 MB
Format: PDF, ePub
Read: 3202
Download

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.

Program Specification And Transformation

Author: Lambert Meertens
Editor: North Holland
ISBN:
File Size: 48,45 MB
Format: PDF
Read: 5727
Download

The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this field is crucial, with the advent of cheap computing power in a society increasingly dependent on the availability of error-free programs. In recognizing this need, this book presents examination of a variety of aspects - from practical experience in applying transformational methodology, to actual production of software, via examples of transformational derivations of algorithms. By thus illustrating the state of the art, and providing results of recent research, the book should not only aid scientists but also show professionals just how their work will be influenced by these developments.

Program Development By Specification And Transformation

Author: Berthold Hoffmann
Editor: Springer Science & Business Media
ISBN: 9783540567332
File Size: 18,19 MB
Format: PDF, ePub
Read: 5858
Download

This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developing correct software and a comprehensive support system. The results are substantial: a theoretically well-founded methodology covering the whole development cycle, a very high-level specification and transformation language family allowing meta-program development and formalization of the development process itself, and a prototype development system supporting structure editing, incremental static-semantic checking, interactive context-sensitivetransformation and verification, development of transformation (meta-) programs, version management, and so on, with an initial libraryof specifications and a sizeable collection of implemented transformations. The intended audience for this documentation is the academic community working in this and related areas and those members of the industrial community interested in the use of formal methods.

Proceedings Of The Seventh International Workshop On Software Specification And Design

Author:
Editor: IEEE Computer Society
ISBN: 9780818643606
File Size: 50,67 MB
Format: PDF, ePub, Docs
Read: 2816
Download

Proceedings of the 7th International Workshop on Software Specification and Design held in Redondo Beach, California, in December 1993. Among the topics discussed: real-time systems, concurrency and distribution, formal reasoning, and design methods and software architecture. No index. Annotation co

Energy Research Abstracts

Author:
Editor:
ISBN:
File Size: 72,31 MB
Format: PDF, ePub
Read: 8332
Download


Logic Program Synthesis And Transformation

Author: K. K. Lau
Editor: Springer
ISBN:
File Size: 75,35 MB
Format: PDF, ePub, Mobi
Read: 2290
Download

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume contains the proceedings of the second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 92), held at the University of Manchester, 2-3 July 1992. The LOPSTR workshops are the only international meetings devoted to these two important areas. A variety of new techniques were described at the workshop, all of which promise to revolutionize the software industry once they become standard practise. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its required behaviour. Among the topics covered in this volume are: optimal transformation of logic programs; logic program synthesis via proof planning; deductive synthesis of programs for query answering; efficient compilation of lazy narrowing into Prolog; synthesis of narrowing programs; Logimix: a self-applicable partial evaluator for Prolog; proof nets; automatic termination analysis. Logic Program Synthesis and Transformation describes the latest advances in machine-assisted development of logic programs. It will provide essential reading for researchers and postgraduate students concerned with these two important areas.

Logic Program Synthesis And Transformation

Author: Kung-Kiu Lau
Editor: Springer
ISBN: 9783540198062
File Size: 13,67 MB
Format: PDF, Mobi
Read: 958
Download

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume contains the proceedings of the second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 92), held at the University of Manchester, 2-3 July 1992. The LOPSTR workshops are the only international meetings devoted to these two important areas. A variety of new techniques were described at the workshop, all of which promise to revolutionize the software industry once they become standard practise. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its required behaviour. Among the topics covered in this volume are: optimal transformation of logic programs; logic program synthesis via proof planning; deductive synthesis of programs for query answering; efficient compilation of lazy narrowing into Prolog; synthesis of narrowing programs; Logimix: a self-applicable partial evaluator for Prolog; proof nets; automatic termination analysis. Logic Program Synthesis and Transformation describes the latest advances in machine-assisted development of logic programs. It will provide essential reading for researchers and postgraduate students concerned with these two important areas.

Recent Trends In Data Type Specification

Author: Hans-Jörg Kreowski
Editor:
ISBN:
File Size: 66,31 MB
Format: PDF, Mobi
Read: 8392
Download


Software Specification Techniques

Author: N. ... Gehani
Editor: Addison Wesley Publishing Company
ISBN:
File Size: 64,39 MB
Format: PDF, Mobi
Read: 1120
Download


Mathematical Reviews

Author:
Editor:
ISBN:
File Size: 50,21 MB
Format: PDF
Read: 1140
Download


Programming Concepts Methods And Calculi

Author: E.-R. Olderog
Editor: North-Holland
ISBN:
File Size: 47,38 MB
Format: PDF, Docs
Read: 516
Download


Algebraic Methodology And Software Technology

Author:
Editor:
ISBN:
File Size: 75,30 MB
Format: PDF, ePub, Docs
Read: 5628
Download


Logic Based Program Synthesis And Transformation

Author:
Editor:
ISBN:
File Size: 51,65 MB
Format: PDF, ePub, Mobi
Read: 7109
Download


A Method Of Program Refinement

Author: Jim Grundy
Editor:
ISBN:
File Size: 64,93 MB
Format: PDF
Read: 5009
Download


Advance Working Papers

Author:
Editor:
ISBN:
File Size: 78,72 MB
Format: PDF, Docs
Read: 3861
Download


Prospects For Functional Programming In Software Engineering

Author: Jean-Pierre Banatre
Editor: Springer
ISBN: 9783540538523
File Size: 44,75 MB
Format: PDF, ePub, Docs
Read: 775
Download


Esop

Author:
Editor:
ISBN:
File Size: 60,99 MB
Format: PDF, ePub, Docs
Read: 3262
Download


Third International Workshop On Software Specification And Design

Author:
Editor: IEEE Computer Society
ISBN: 9780818606380
File Size: 41,78 MB
Format: PDF, Kindle
Read: 2272
Download