Automatic Program Development A Tribute to Robert Paige - pocketboek

EAN (ISBN-13): 9789048176748
ISBN (ISBN-10): 9048176743
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag/Sci-Tech/Trade
288 Bladzijden
Gewicht: 0,439 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-05-18T08:48:03+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-11-25T13:56:29+01:00 (Amsterdam)
ISBN/EAN: 9789048176748

ISBN - alternatieve schrijfwijzen:
90-481-7674-3, 978-90-481-7674-8

---

Gegevens van de uitgever

Auteur: Olivier Danvy; Fritz Henglein; Harry Mairson; Alberto Pettorossi
Titel: Automatic Program Development - A Tribute to Robert Paige
Uitgeverij: Springer; Springer Netherland
272 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,444 kg
Taal: Engels
139,09 € (DE)
142,99 € (AT)
153,50 CHF (CH)
POD
XIV, 272 p.

BC; Previously published in hardcover; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithm Construction; Automatic Program Derivation; C programming language; Program Derivation Systems; Program Specialization; Program Transformation; algorithm; algorithms; automata; development; formal specification; logic; object oriented design; programming; C; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Programming Techniques; Compilers and Interpreters; Computer Science; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; BB

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.