عنوان

Automatic program development :

شابک

1402065841

شابک

140206585X

شابک

9781402065842

شابک

9781402065859

شماره

b780944

عنوان اصلي

Automatic program development :

نام عام مواد

[Book]

ساير اطلاعات عنواني

a tribute to Robert Paige /

نام نخستين پديدآور

edited by Olivier Danvy [and others].

محل نشرو پخش و غیره

Dordrecht :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

©2008.

نام خاص و کميت اثر

1 online resource (xiv, 272 pages) :

ساير جزييات

illustrations

متن يادداشت

Includes bibliographical references.

متن يادداشت

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

متن يادداشت

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.

منبع سفارش / آدرس اشتراک

Springer

شماره انبار

978-1-4020-6584-2

عنوان

Automatic program development.

شماره استاندارد بين المللي کتاب و موسيقي

1402065841

موضوع مستند نشده

Computer algorithms.

موضوع مستند نشده

Program transformation (Computer programming)

موضوع مستند نشده

Programming (Mathematics)

موضوع مستند نشده

Computer algorithms.

موضوع مستند نشده

Informatique.

موضوع مستند نشده

MATHEMATICS-- Linear & Nonlinear Programming.

موضوع مستند نشده

Program transformation (Computer programming)

موضوع مستند نشده

Programming (Mathematics)

موضوع مستند نشده

COM051230

موضوع مستند نشده

UL

موضوع مستند نشده

UMZ

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Danvy, Olivier.

مستند نام اشخاص تاييد نشده

Paige, Robert A.

تاريخ عمليات

20201206194548.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y