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

by John Mchugh
Citations:6 - 1 self

Documents Related by Co-Citation

1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
571 Assigning meanings to programs – R W Floyd - 1967
3 A Generalized Approach to Equational Unification – Katherine Anne Yelick - 1985
57 A Two-Tiered Approach to Specifying Programs – J M Wing - 1983
5 Specifications can make programs run faster – M T Vandevoorde - 1993
9 Proving that Computer Programs Terminate Cleanly – Richard L Sites - 1974
5 The Proof of a Distributed System in GYPSY – Donald I. Good - 1982
18 A man-machine theorem-proving system – W W Bledsoe, P Bruell - 1974
15 Report on the language GYPSY version 2.0 – D Good - 1978
61 A Program Verifier – J C King - 1969
95 Software Development — A Rigorous Approach – C B Jones - 1980
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
1 Extended static checking. Private communication on work – G Nelson, D Detlefs - 1994
19 Exploiting Specifications to Improve Program Performance – Mark T. Vandevoorde - 1994
5 Towards survivable COTS-based systems – N R Mead, H F Lipson - 2001
4 Dealing with Nonfunctional Requirements – C Ebert - 1997
3 Five Reasons for Scenario-Based Design – J M Carrol - 1999
3 An Activity Framework for COTS-Based Systems (CMU/SEI-2000-TR-010, ADA383836 – Tricia Oberndorf, Lisa Brownsword - 2000
1 Coding for a Believable Specification to Implementation Mapping,” 140-149 – W D Young - 1987