Towards the Generation of Efficient Code from Verified Programs (1984)

by John Mchugh
Citations:6 - 1 self

Active Bibliography

14 Program verification – Robert S. Boyer, J Strother Moore - 1985
24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
102 Proving pointer programs in Hoare Logic – Richard Bornat - 2000
22 Proof checking the RSA public key encryption algorithm – Robert S. Boyer, J Strother Moore - 1984
31 The Boyer-Moore Theorem Prover and Its Interactive Enhancement – Robert S. Boyer, Matt Kaufmann, J Strother Moore - 1995
8 The Use of a Formal Simulator to Verify a Simple Real Time Control Program – Robert S. Boyer, Milton W. Green, J Strother Moore - 1990
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
14 Software Specification: A Comparison of Formal Methods – John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz - 2001
Robert W. Taylor, DirectorAutomated Proofs of Object Code For a Widely Used Microprocessor – Yuan Yu, Yuan Yu
4.2 BASIC NOTIONS............................... 83 – unknown authors
68 An Approach to Systems Verification – William Bevier , Warren A. Hunt Jr., J Strother Moore, William D. Young - 1989
Finding the Frequent Items in Streams of Data [Extended Abstract] – Graham Cormode, Marios Hadjieleftheriou
12 Optimal resilient dynamic dictionaries – Gerth Stølting Brodal, Rolf Fagerberg, Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano, Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave - 2007
37 Finding Frequent Items in Data Streams – Graham Cormode, Marios Hadjieleftheriou - 2008
6 Methods for Finding Frequent Items in Data Streams – Graham Cormode, Marios Hadjieleftheriou - 2009
35 Estimating entropy and entropy norm on data streams – Amit Chakrabarti, Khanh Do Ba, S. Muthukrishnan - 2006
8 The Impact of Software Engineering Research on Modern Programming Languages – Barbara G. Ryder, Mary Lou Soffa, Margaret Burnett
14 Garbage Collection and Other Optimizations – David R. Chase - 1987