This paper reports on an experiment to assess the error detection capabilities of static, inter-module type checking. Type checking is considered an important mechanism for detecting programming errors, especially interface errors. The experiment uses Kernighan&Ritchie C and ANSI C. The relevant di erence is that the ANSI C compiler checks module interfaces (i.e., the parameter lists of calls t...

Type checking is considered an important mechanism for detecting programming errors, especially interface errors. This report describes an experiment to assess the defect-detection capabilities of static, inter-module type checking. The experiment uses Ansi C and Kernighan&Ritchie (K&R) C. The relevant diierence is that the Ansi C compiler checks module interfaces (i.e., the parameter lists of ...

This paper reports on an experiment to assess the error detection capabilities of static, inter-module type checking. Type checking is considered an important mechanism for detecting programming errors, especially interface errors. The experiment uses Kernighan&Ritchie C and ANSI C. The relevant di erence is that the ANSI C compiler checks module interfaces (i.e., the parameter lists of calls t...

Draft ANSI S12.13 1991 Standard Evaluating the Effectiveness of Hearing Conservation Programs presents statistical protocols purportedly sensitive to temporary threshold shift (TTS) in occupational hearing conservation program (HCP) audiometric databases. Because it is well established that less TTS is found in humans with hearing loss than in those with essentially normal hearing, one might pr...

Retrospective analysis of initial audiograms from 21 hearing conservation programs (HCPs) revealed several statistical protocols capable of identifying HCPs of known performance. American National Standards Institute (ANSI) and Occupational Safety and Health Administration (OSHA) protocols clearly identified 3 HCPs known to have demonstrated excellent overall programs. ANSI and OSHA outcomes ap...

Many different groups are engaged in developing standards that use object concepts. These include: • application-specific standards groups, e.g. — CAD Framework Initiative (electrical CAD) — PDES/STEP (mechanical CAD) — PCTE (CASE) — OSI/NMF (telephony; network management) — ANSI X3H6 (CASE) — ANSI X3H4 (IRDS) • groups working on generic object standards — ISO ODP, ANSI X3T3 (Open Distributed P...

Type checking is considered an important mechanism for detecting programming errors, especially interface errors. This report describes an experiment to assess the defect-detection capabilities of static, inter-module type checking. The experiment uses Ansi C and Kernighan&Ritchie (K&R) C. The relevant di erence is that the Ansi C compiler checks module interfaces (i.e., the parameter lists of ...