The GEM COBOL monitor system

  • Antonio Salvadori
Program Development And Program Verification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 44)


Basic Block Block Number Control Flow Graph System Diagram Live Data 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Knuth, D.E.: An Empirical Study of FORTRAN Programs. Software-Practice and Experience, 1, 105–133 (1971).Google Scholar
  2. 2.
    Uzgalis, R., Simon, G., Speckart, W.: Compiler Measures in the Perspective of Program Development, a comparison of the IBM PL/I F-Level Compiler with Cornell's PL/C in a Student Environment. Proc. Sixth Hawaii International Conference on System Science, 104–107 (1973).Google Scholar
  3. 3.
    Litecky, C.R., Davies, G.B.: A Study of errors, Error-Proneness, and Error Diagnosis in COBOL. CACM, 19, 1, 33–37 (1976).Google Scholar
  4. 4.
    Endres, A.: An Analysis of Errors and Their Causes in System Programs, International Conference on Reliable Software, Los Angeles, 327–336 (1975).Google Scholar
  5. 5.
    Gordon, J.D., Capstick, C.K., Salvadori, A.: An Empirical Study of COBOL Programmers, in press INFOR (1976).Google Scholar
  6. 6.
    Salvadori, A., Gordon, J.D., Capstick, C.K.: A System for Evaluating Programmer Performance, Proc. Thirteenth Annual Conference on Computer Personnel Research, Toronto, 100–113 (1975).Google Scholar
  7. 7.
    Allen, F.E., Cocke, J.: A Program Data Flow Analysis Procedure. CACM, 19, 3, 137–147 (1976).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Antonio Salvadori
    • 1
  1. 1.Computing and Information ScienceUniversity of GuelphGuelphCanada

Personalised recommendations