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. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

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. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.

The report presents detailed programming information on the use of the developed linear and nonlinear computer programs for the automated design of minimum weight structures. General operational instructions for the programs, which are coded in FORTRAN IV, are given. Detailed requirements for the operating system and machine configurations including peripheral storage devices (such as magnetic tape or disk units) are specified. The report also includes source notation for the programs and instructions for the alterations to the linear program for various machine sizes. Full listings and flow charts of the programs, and detailed input instructions are provided as appendixes.