By Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

This paintings, a tribute to popular researcher Robert Paige, is a set of revised papers released in his honor within the Higher-Order and Symbolic Computation magazine in 2003 and 2005. between them there are key papers: a retrospective view of his study strains, and an offer for destiny experiences within the sector of the automated application derivation. The publication additionally contains a few papers through contributors of the IFIP operating crew 2.1 of which Bob was once an energetic member.

Show description

Read or Download Automatic Program Development: A Tribute to Robert Paige PDF

Best nonfiction_2 books

High Blood Pressure: The 'At Your Fingertips' Guide

The publication hypertension at your fingertips supplies solid information regarding all points of what's identified and never recognized approximately varieties of hypertension. It additionally explains rather well how the human middle and circulatory process paintings. It defines and explains the significance of controlling ldl cholesterol, tryglicerides degrees and so on.

Making Toys for Preschool Children: Using Ordinary Stuff for Extraordinary Play

What do you get if you mix a newspaper, paper baggage, tape, and markers? A Lunch Bag urban, after all! This sequence is a teacher’s dream! You’ll locate extra inventive how one can use a tube sock, milk carton, and different reasonably cheap issues stumbled on round the condo than you ever imagined. Create certain, interesting toys and props to assist teenagers research in applicable methods.

Primary Science: Extending Knowledge in Practice (Achieving Qts)

Nonetheless the largest situation for lots of on preliminary instructor education classes is the purchase of topic wisdom and the power to translate that into potent educating. This booklet addresses this - construction at the middle topic wisdom coated within the attaining QTS sequence and concerning it to lecture room perform.

Additional resources for Automatic Program Development: A Tribute to Robert Paige

Sample text

Goyal and R. Paige: A new solution to the hidden copy problem. In Proc. 5th International Static Analysis Symposium. G. ) LNCS 1503, Springer, 327–348, Sept. 1998. ps. 26. R. Hindley: The principal type-scheme of an object in combinatory logic. Trans. Amer. Math. , 146, 29–60, 1969. 27. N. Jones, C. Gomard, and P. Sestoft: Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993. 28. J. Keller and R. Paige: Program derivation with verified transformations—a case study. Comm. on Pure and Applied Mathematics, 48 (9–10), 1053–1113, 1996.

Based on the experiments reported in [12] and unpublished independent experiments by Snyder (the designer and implementer of SETL2), SETL2 programs PS should run 30 times slower than equivalent C programs PC . ) Our experiments [12] showed that the SETL-to-C translator produced C codes that matched the 30-fold speedup observed in hand-coded C. Since partial evaluation and data structure selection are completely independent, we plan to test the hypothesis that PC will run 300 times faster than PR regardless of whether PC is produced mechanically or by hand.

The next occasion to meet him was during a workshop on “Program Transformation and Programming Environments” which was organized by Peter Pepper in Munich in fall 1983. , members and observers) had been invited to this workshop. A very small party with only a few guests (Bob himself, Martin Feather, and Dave Wile) at my house after the workshop was the next opportunity to learn more about Bob — about his childhood in New York, his life at that time, his scientific interests, but also about his deep love for Nieba who later became his wife.

Download PDF sample

Rated 4.75 of 5 – based on 16 votes