See this document in CiteSeerX!

A Controlled Experiment Measuring the Effect of Procedure Argument Type Checking on Programmer Productivity (1996)  (Make Corrections)  
Walter F. Tichy, Lutz Prechelt
University of Karlsruhe



  Home/Search   Context   Related

 
View or download:
cmu.edu/pub/documents/96....tr014.96.ps
wwwipd.ira.uka.de/~prec...seitr96.ps.gz
wwwipd.ira.uka.de/~prec...seitr96.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cmu.edu/publications/docum...1996 (more)
From:  wwwipd.ira.uka.de/~prechelt/Bi...
(Enter author homepages)

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

Abstract: : Type checking is considered an important mechanism for detecting programming errors, especially interface errors. This report describes an experiment to assess the error-detection capabilities of static intermodule type checking. The experiment uses ANSI C and Kernighan&Ritchie (K&R) C. The relevant difference is that the ANSI C compiler checks module interfaces (i.e., the parameter lists of calls to external functions), whereas K&RC does not. The experiment employs a counterbalanced design... (Update)

Similar documents (at the sentence level):   More
51.6%:   An Experiment to Assess the Benefits of Inter-Module Type.. - Prechelt, Tichy (1996)   (Correct)
26.5%:   A Controlled Experiment to Assess the Benefits of Procedure.. - Prechelt, Tichy (1998)   (Correct)
5.3%:   A Conceptual Framework for System Fault Tolerance - Heimerdinger, Weinstock (1992)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Technical Report - Cmu Sei- Tr-   (Correct)
0.5:   A Controlled Experiment Measuring the Effect of Procedure.. - Prechelt, Tichy (1996)   (Correct)
0.2:   An empirical comparison of C, C++, Java, Perl, Python, Rexx, and .. - Prechelt   (Correct)

Similar documents based on text:   More   All
0.4:   Recommended Best Industrial Practice for Software.. - Abowd, Bass, al. (1997)   (Correct)
0.4:   Software Measurement Concepts for Acquisition Program Managers - Rozum (1992)   (Correct)
0.4:   Architectural Evaluation of Collaborative Agent-Based Systems - Woods, Barbacci (1999)   (Correct)

BibTeX entry:   (Update)

@techreport{ tichy-controlled,
  author = "Walter F. Tichy and Lutz Prechelt",
  title = "A Controlled Experiment Measuring the Effect of Procedure Argument Type Checking on Programmer Productivity"
  year = "1996"
  institution = "University of Karlsruhe",
  url = "citeseer.ist.psu.edu/article/prechelt96controlled.html" }
Citations (may not include all citations):
136   A Discipline for Software Engineering (context) - Humphrey - 1995
59   Software errors and complexity: An empirical investigation (context) - Basili, Perricone - 1984
46   An experimental comparison of the effectiveness of branch te.. - Frankl, Weiss - 1993
21   an experiment in software prototyping productivity (context) - Hudak, Jones et al. - 1994
10   Analyzing the high frequency bugs in novice programs (context) - Spohrer, Soloway - 1986
6   Novice programmer errors: Language constructs and plan compo.. (context) - Ebrahimi - 1994
5   The papers of the First Workshop on Empirical Studies of Pro.. (context) - Soloway, Iyengar et al. - 1986

Documents on the same site (http://www.sei.cmu.edu/publications/documents/doc.list/1996.htm):   More
Recommended Best Industrial Practice for Software.. - Abowd, Bass, al. (1997)   (Correct)
Domain Analysis Workshop Report for the Automated Prompt and.. - Krut (1996)   (Correct)
Concept of Operations for the ESC Product Line Approach - Sholom Cohen   (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