Automatic Program Development
Title | Automatic Program Development PDF eBook |
Author | Olivier Danvy |
Publisher | Springer Science & Business Media |
Pages | 283 |
Release | 2008-01-12 |
Genre | Computers |
ISBN | 140206585X |
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.
Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking
Title | Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking PDF eBook |
Author | Awang Noor Indra Wardana |
Publisher | kassel university press GmbH |
Pages | 131 |
Release | 2009 |
Genre | Computer programs |
ISBN | 389958807X |
Kids
Title | Kids PDF eBook |
Author | D. Smith |
Publisher | |
Pages | 48 |
Release | 1990 |
Genre | |
ISBN |
Interactive Theorem Proving and Program Development
Title | Interactive Theorem Proving and Program Development PDF eBook |
Author | Yves Bertot |
Publisher | Springer Science & Business Media |
Pages | 492 |
Release | 2013-03-14 |
Genre | Mathematics |
ISBN | 366207964X |
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.
Automatic Program Development
Title | Automatic Program Development PDF eBook |
Author | Olivier Danvy |
Publisher | Springer |
Pages | 272 |
Release | 2009-09-03 |
Genre | Computers |
ISBN | 9789048115471 |
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.
Development of an Automatic Programming System for Scientific Problems
Title | Development of an Automatic Programming System for Scientific Problems PDF eBook |
Author | Johannes Paulus Du Plessis |
Publisher | |
Pages | 335 |
Release | 1988 |
Genre | Artificial intelligence |
ISBN |
A Philosophy of Software Design
Title | A Philosophy of Software Design PDF eBook |
Author | John Ousterhout |
Publisher | Yaknyam Publishing |
Pages | |
Release | 2018-04-10 |
Genre | |
ISBN | 9781732102200 |