Olivier Danvy,
Fritz Henglein,
Harry Mairson,
Alberto Pettorossi
e.a.
Springer Netherlands
0e druk, 2010
9789048176748
Automatic Program Development
A Tribute to Robert Paige
Specificaties
Paperback, 272 blz.
|
Engels
Springer Netherlands |
0e druk, 2010
ISBN13: 9789048176748
Rubricering
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Specificaties
ISBN13:9789048176748
Taal:Engels
Bindwijze:paperback
Aantal pagina's:272
Uitgever:Springer Netherlands
Druk:0
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Part I Robert Paige's Research: A Retrospective and a Proposal. Research Retrospective on Transformational Development of Programs; R.Paige. A National Science Foundation Proposal; R.Paige. Part II Robert Paige: Brother, Friend, Colleague. A Song for My Brother; G.D.Paige. Robert Paige: Researcher and Teacher; H.Mairson. An Appreciation of Bob Paige; M.Davis. Bob Paige and the IFIP Working Group 2.1; H.Partsch. Remembrances of Bob Paige; A.Siegel. Part III Contributed Papers. Transformational Derivation of an Improved Alias Analysis Algorithm; D.Goyal. Dynamic Programming via Static Incrementalization; Y.A.Liu, S.D.Stoller. Automatic Program Generation from Formal Specifications using APTS; E.I.Leonard, C.L.Heitmeyer. Universal Regular Path Queries; O.deMoor, D.Lacey, E.VanWyk. Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism; A.Pettorossi, M.Proietti, S.Renault. Computational Divided Differencing and Divided-Difference Arithmetics; T.W.Reps, L.B.Rall. Least Reflexive Points of Relations; J.Desharnais, B.Möller. Relativizations for the Logic-Automata Connection; N.Klarlund. Efficient Type Matching; S.Jha, J.Palsberg, T.Zhao, F.Henglein. Aspects as Invariants; D.R.Smith. Program Transformations; D.S.Wile.