Book Details

Automatic Program Development : A Tribute to Robert Paige

Publication year: 2008

ISBN: 978-1-4020-6585-9

Internet Resource: Please Login to download book


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.


Subject: 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 and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters