Computer Languages, Volume 5

Volume 5, Number 1, 1980

• Robert P. Rich: Mechanical Proof Testing. 1-28 BibTeX
• John H. Crawford, Mehdi Jazayeri: A New Approach to Code Motion and its Application to Hoisting. 29-36 BibTeX
• M. Howard Williams: A Formal Notation for Specifying Static Semantic Rules. 37-55 BibTeX

Volume 5, Number 2, 1980

• Hiroyasu Nagata: Formal: A Language with a Macro-Oriented Extension Facility. 65-76 BibTeX
• Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini: Toward Modular Verifiable Exception Handling. 77-101 BibTeX
• Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi: SIMPLE: A Program Development System. 103-114 BibTeX
• Aspi W. Wadia: Generation of Node Lists Using Segment Analysis. 115-129 BibTeX

Volume 5, Number 3, 1980

• Charles N. Fischer, Jon Mauney: On the Role of Error Productions in Syntactic Error Correction. 131-139 BibTeX
• Micha Sharir: Structural Analysis: A New Approch to Flow Analysis in Optimizing Compilers. 141-153 BibTeX
• Narain H. Gehani: Generic Procedures: An Implementation and an Undecidability Result. 155-161 BibTeX
• Richard M. Salter, Terence J. Brennan, Daniel P. Friedman: Concur: A Language for Continuous, Concurrent Processes. 163-189 BibTeX