Automatic Program Development A Tribute to Robert Paige /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Danvy, Olivier (Επιμελητής έκδοσης), Mairson, Harry (Επιμελητής έκδοσης), Henglein, Fritz (Επιμελητής έκδοσης), Pettorossi, Alberto (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2008.
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.

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

Πίνακας περιεχομένων:

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