Automatic Program Development: A Tribute to Robert Paige

1402065841......Page 1
Contents......Page 11
Part I: Robert Paige\'s Research: A Retrospective and A Proposal......Page 15
Research Retrospective on Transformational Development of Programs......Page 17
A National Science Foundation Proposal......Page 21
Part II: Robert Paige: Brother, Friend, Colleague......Page 42
A Song for My Brother......Page 44
Robert Paige: Researcher and Teacher......Page 48
An Appreciation of Bob Paige......Page 50
Bob Paige and the IFIP Working Group 2.1......Page 51
Remembrances of Bob Paige......Page 53
Part III: Contributed Papers......Page 59
Transformational Derivation of an Improved Alias Analysis Algorithm......Page 60
Dynamic Programming via Static Incrementalization......Page 82
Automatic Program Generation from Formal Specifications using APTS......Page 104
Universal Regular Path Queries......Page 125
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism......Page 141
Computational Divided Differencing and Divided-Difference Arithmetics......Page 189
Least Reflexive Points of Relations......Page 226
Relativizations for the Logic-Automata Connection......Page 240
Efficient Type Matching......Page 263
Aspects as Invariants......Page 281
Program Transformations: Some Lessons from the 1980s......Page 298