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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Danvy, Olivier (Editor ), Henglein, Fritz (Editor ), Mairson, Harry (Editor ), Pettorossi, Alberto (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Temas:
Software engineering.
Computer programming.
Compilers (Computer programs).
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares