2008

Automatic Program Development

A Tribute to Robert Paige

ISBN: 978-1-4020-6584-2 (Print) 978-1-4020-6585-9 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages i-xiv

  2. Robert Paige’s Research: A Retrospective and A Proposal

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-6

      Research Retrospective on Transformational Development of Programs

    3. No Access

      Book Chapter

      Pages 7-27

      A National Science Foundation Proposal

  3. Robert Paige: Brother, Friend, Colleague

    1. Front Matter

      Pages 29-29

    2. No Access

      Book Chapter

      Pages 31-34

      A Song for My Brother

    3. No Access

      Book Chapter

      Pages 35-36

      Robert Paige: Researcher and Teacher

    4. No Access

      Book Chapter

      Pages 37-37

      An Appreciation of Bob Paige

    5. No Access

      Book Chapter

      Pages 38-39

      Bob Paige and the IFIP Working Group 2.1

    6. No Access

      Book Chapter

      Pages 40-42

      Remembrances of Bob Paige

  4. Contributed Papers

    1. Front Matter

      Pages 47-47

    2. No Access

      Book Chapter

      Pages 49-70

      Transformational Derivation of an Improved Alias Analysis Algorithm

    3. No Access

      Book Chapter

      Pages 71-92

      Dynamic Programming via Static Incrementalization

    4. No Access

      Book Chapter

      Pages 93-113

      Automatic Program Generation from Formal Specifications using APTS

    5. No Access

      Book Chapter

      Pages 114-129

      Universal Regular Path Queries

    6. No Access

      Book Chapter

      Pages 130-177

      Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

    7. No Access

      Book Chapter

      Pages 178-214

      Computational Divided Differencing and Divided-Difference Arithmetics

    8. No Access

      Book Chapter

      Pages 215-228

      Least Reflexive Points of Relations

    9. No Access

      Book Chapter

      Pages 229-246

      Efficient Type Matching

    10. No Access

      Book Chapter

      Pages 247-263

      Aspects as Invariants

    11. No Access

      Book Chapter

      Pages 264-272

      Program Transformations: Some Lessons from the 1980s

    12. No Access

      Book Chapter

      Pages 287-295

      Program Transformations: Some Lessons from the 1980s