Cover Image
Read Now

Automatic Program Development A Tribute to Robert Paige

Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his hon...

Full description

Bibliographic Details
Other Authors: Danvy, Olivier (Editor), Henglein, Fritz (Editor), Mairson, Harry (Editor), Pettorossi, Alberto (Editor)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2008, 2008
Edition:1st ed. 2008
Subjects:
Compilers (computer Programs)
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Programming
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of 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

Similar Items