Book Description
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Author : F.L. Bauer
Publisher : Springer Science & Business Media
Page : 379 pages
File Size : 32,45 MB
Release : 2012-12-06
Category : Computers
ISBN : 3642464904
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Author : Nato Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich, Germany)
Publisher :
Page : 378 pages
File Size : 28,47 MB
Release : 1984
Category : Computer programming
ISBN :
Author : Helmut A. Partsch
Publisher : Springer Science & Business Media
Page : 516 pages
File Size : 47,56 MB
Release : 1990-07-05
Category : Computers
ISBN : 9783540525899
"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.
Author : Helmut A. Partsch
Publisher : Springer Science & Business Media
Page : 508 pages
File Size : 29,49 MB
Release : 2012-12-06
Category : Computers
ISBN : 3642615120
"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.
Author : Olivier Danvy
Publisher : Springer Science & Business Media
Page : 283 pages
File Size : 11,96 MB
Release : 2008-01-12
Category : Computers
ISBN : 140206585X
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Author : Annalisa Bossi
Publisher : Springer Science & Business Media
Page : 322 pages
File Size : 13,99 MB
Release : 2000-06-07
Category : Computers
ISBN : 3540676287
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR’99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR’s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.
Author :
Publisher : Pearson Education
Page : 438 pages
File Size : 31,69 MB
Release : 1996
Category : Computer programming
ISBN : 9780897917698
Author : Helmut Seidl
Publisher : Springer Science & Business Media
Page : 186 pages
File Size : 23,89 MB
Release : 2012-08-13
Category : Computers
ISBN : 3642175481
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In this book the authors systematically describe the analysis and transformation of imperative and functional programs. In addition to a detailed description of important efficiency-improving transformations, the book offers a concise introduction to the necessary concepts and methods, namely to operational semantics, lattices, and fixed-point algorithms. This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments.
Author :
Publisher :
Page : 1572 pages
File Size : 14,5 MB
Release : 1992
Category : Aeronautics
ISBN :
Author : Bob F. Caviness
Publisher : Springer Science & Business Media
Page : 676 pages
File Size : 14,38 MB
Release : 1985
Category : Computer science
ISBN : 9783540159841