| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1026574
|
| Doc. No
|
:
|
b780944
|
| Title & Author
|
:
|
Automatic program development : : a tribute to Robert Paige /\ edited by Olivier Danvy [and others].
|
| Publication Statement
|
:
|
Dordrecht :: Springer,, ©2008.
|
| Page. NO
|
:
|
1 online resource (xiv, 272 pages) :: illustrations
|
| ISBN
|
:
|
1402065841
|
|
|
:
|
: 140206585X
|
|
|
:
|
: 9781402065842
|
|
|
:
|
: 9781402065859
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Contents
|
:
|
Robert Paige's Research: A Retrospective and A Proposal -- Research Retrospective on Transformational Development of Programs -- A National Science Foundation Proposal -- Robert Paige: Brother, Friend, Colleague -- A Song for My Brother -- Robert Paige: Researcher and Teacher -- An Appreciation of Bob Paige -- Bob Paige and the IFIP Working Group 2.1 -- Remembrances of Bob Paige -- Contributed Papers -- Transformational Derivation of an Improved Alias Analysis Algorithm -- Dynamic Programming via Static Incrementalization -- Automatic Program Generation from Formal Specifications using APTS -- Universal Regular Path Queries -- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism -- Computational Divided Differencing and Divided-Difference Arithmetics -- Least Reflexive Points of Relations -- Relativizations for the Logic-Automata Connection -- Efficient Type Matching -- Aspects as Invariants -- Program Transformations: Some Lessons from the 1980s.
|
| Abstract
|
:
|
A tribute to Robert Paige (1947-1999), this book includes papers published in his honor in the "Higher-Order and Symbolic Computation Journal" in the years 2003 and 2005. Among them there are two papers by Bob: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation.
|
| Subject
|
:
|
Computer algorithms.
|
| Subject
|
:
|
Program transformation (Computer programming)
|
| Subject
|
:
|
Programming (Mathematics)
|
| Subject
|
:
|
Computer algorithms.
|
| Subject
|
:
|
Informatique.
|
| Subject
|
:
|
MATHEMATICS-- Linear Nonlinear Programming.
|
| Subject
|
:
|
Program transformation (Computer programming)
|
| Subject
|
:
|
Programming (Mathematics)
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA402.5.A88 2008eb
|
| Added Entry
|
:
|
Danvy, Olivier.
|
|
|
:
|
Paige, Robert A.
|