Automatic program development : A tribute to Robert Paige
- المؤلف
- Olivier Danvy, Harry Mairson, Fritz Henglein, …
- سنة النشر
- 2008
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Computer Science
- تحميل الكتاب قراءة الكتاب
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. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
الكلمات المفتاحية: Computer science / Algorithm Construction / Automatic Program Derivation / C programming language / Program Derivation Systems / Program Specialization / Program Transformation / Algorithm / Algorithms / Automata / Development / Formal specification / Formal specification / Object oriented design / Programming / Software Engineering / Programming / Operating systems / Programming Techniques / Programming Languages, Compilers, Interpreters
