عنوان
پدید آورنده
موضوع
رده
QA402.5 .A88 2008eb
QA402
.
5
.
A88
2008eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1402065841
(Number (ISBN
140206585X
(Number (ISBN
9781402065842
(Number (ISBN
9781402065859
NATIONAL BIBLIOGRAPHY NUMBER
Number
b780944
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automatic program development :
General Material Designation
[Book]
Other Title Information
a tribute to Robert Paige /
First Statement of Responsibility
edited by Olivier Danvy [and others].
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
©2008.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 272 pages) :
Other Physical Details
illustrations
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
CONTENTS NOTE
Text of Note
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.
0
SUMMARY OR ABSTRACT
Text of Note
A tribute to Robert Paige (1947-1999), this book includes papers published in his honor in the "Higher-Order and Symbolic Computation Journal" in the years 2003 and 2005. Among them there are two papers by Bob: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer
Stock Number
978-1-4020-6584-2
OTHER EDITION IN ANOTHER MEDIUM
Title
Automatic program development.
International Standard Book Number
1402065841
TOPICAL NAME USED AS SUBJECT
Computer algorithms.
Program transformation (Computer programming)
Programming (Mathematics)
Computer algorithms.
Informatique.
MATHEMATICS-- Linear & Nonlinear Programming.
Program transformation (Computer programming)
Programming (Mathematics)
(SUBJECT CATEGORY (Provisional
COM051230
UL
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA402
.
5
Book number
.
A88
2008eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Danvy, Olivier.
Paige, Robert A.
ORIGINATING SOURCE
Date of Transaction
20201206194548.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
