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
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Danvy, Olivier (Editor), Henglein, Fritz (Editor), Mairson, Harry (Editor), Pettorossi, Alberto (Editor)
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Subjects:
Software engineering.
Computer programming.
Compilers (Computer programs).
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Online Access:Texto Completo
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