See this document in CiteSeerX!

Using Debug Tools To Help Produce Correct Programs (1978)  (Make Corrections)  
William D. Clifford



  Home/Search   Context   Related

 
View or download:
utexas.edu/ftp/pub/techre...tr7879.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  utexas.edu/ftp/pub/techreports... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper is a revision of a Master's Thesis of the same title. TABLE OF CONTENTS 1.0 (Update)

Active bibliography (related documents):   More   All
0.5:   Automatic Code Generation from Design Patterns - Finnie, Yu, Vlissides (1996)   (Correct)
0.3:   Guard: A Relative Debugger - Sosic, Abramson (1994)   (Correct)
0.2:   Why HyperTalk Debugging is More Painful than it Ought To Be - Eisenstadt (1993)   (Correct)

Similar documents based on text:   More   All
0.1:   Index - Step Command For   (Correct)
0.1:   Towards 100 Percent Correct Software - Gärtner   (Correct)
0.1:   Compiler Support for Correctness Proofs - Didrich (1997)   (Correct)

BibTeX entry:   (Update)

@techreport{ clifford78using,
    author = "W. D. Clifford",
    title = "Using Debug Tools to Help Produce Correct Programs",
    number = "CS-TR-78-79",
    month = "1,",
    year = "1978",
    url = "citeseer.ist.psu.edu/clifford78using.html" }
Citations (may not include all citations):
71   Structured programming (context) - Dahl, Dijkstra et al. - 1972
28   Data flow analysis in software reliability (context) - Fosdick, Osterweil - 1976
22   EXDAMS-Extendable debugging and monitoring system (context) - Balzer - 1969
13   Gypsy: a language for specification and implementation of ve.. (context) - Ambler, Good et al. - 1977
5   An exploratory study of computer program debugging (context) - Gould, Drongowski - 1974
3   Design of an interactive debugger for Fortran: Mantis (context) - Ashby, Salmonson et al. - 1973
2   A descriptive language for symbol manipulation (context) - Floyd - 1961
1   Writing an online debugging program for the experienced user (context) - Brady - 1968
1   Nucleus-a language of provable programs (context) - Good, Ragland - 1973
1   CDC serie register saverestore (context) - series, restore et al. - 1972
1   The debugging of computer dissertation (context) - Gaines - 1969
1   line debugging survey (context) - Evans, Darley - 1966
1   a debugging language, Debugging techniques in arge systems (context) - Grishman, for
1   Extendable non-interactive debugging (context) - Blair - 1971
1   Architecture of virtual Computer Conference (context) - Goldberg - 1973

Documents on the same site (http://www.cs.utexas.edu/ftp/pub/techreports/):   More
Parametric Quantitative Temporal Reasoning - Emerson, Trefler (1999)   (Correct)
Two Problems of TCP AIMD Congestion Control - Yang, Kim, Zhang, Lam (2000)   (Correct)
Verifying Adder Circuits Using Powerlists - Adams (1994)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC