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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Danvy, Olivier (Éditeur intellectuel), Henglein, Fritz (Éditeur intellectuel), Mairson, Harry (Éditeur intellectuel), Pettorossi, Alberto (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Édition:1st ed. 2008.
Sujets:
Software engineering.
Computer programming.
Compilers (Computer programs).
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires