Active Bibliography

9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Programming Languages – B. Wegbreit
1 Reasoning about multi-process systems with the box calculus – Greg Michaelson, Gudmund Grov
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
48 Proving Theorems about LISP Functions – Robert S. Boyer, J Strother Moore - 1975
Preface – John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz - 2001
California, US – Jeremy Forth, Richard Waldinger
14 Software Specification: A Comparison of Formal Methods – John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz - 2001
Dependablesyenda Evolution – Grand Challenge For
Series book on Aerospace Software Engineering. Acknowledgements – Donald I. Good, I William, R. Bevier, Robert S. Boyer - 1989
Mathematical Forecasting – Donald I. Good - 1989
1 Issues in Algorithm Characterization for Link Analysis – Michael Wolverton, Ian Harrison, David Martin
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
4 A Normal Form for Compiler Testing – Hanan Samet - 1977
14 Program verification – Robert S. Boyer, J Strother Moore - 1985
89 Proving Properties of Programs by Structural Induction – R. M. Burstall - 1969