Rob Tristan Gerth: 1956?2003
Abstract elided by the publisher.
Related papers
- Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741 JFP 2007
- JPF: From 2003 to 2023 TACAS 2024
- Interactive type debugging in Haskell Haskell 2003
- Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003 JFP 2004
- The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003 JFP 2004
- Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003 JFP 2004
- Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003 JFP 2004
- Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0 JFP 2007