Computer Languages, Volume 6

Volume 6, Number 1, 1981

• M. Howard Williams: Methods for Specifying Static Semantics. 1-17
• M. T. Lepage, David T. Barnard, Andres Rudmik: Optimization of Hierarchical Directed Graphs. 19-34
• Micha Sharir: Formal Integration: A Program Transformation Technique. 35-46
• Gregory J. Chaitin, Marc A. Auslander, Ashok K. Chandra, John Cocke, Martin E. Hopkins, Peter W. Markstein: Register Allocation Via Coloring. 47-57

Volume 6, Number 2, 1981

• Michael P. Georgeff, Ivan Fris, J. Kautsky: The Effect of Operators on Parsing and Evaluation in APL. 67-78
• Mark Scott Johnson: DISPEL: A Run-Time Debugging Language. 79-94
• Augusto Celentano: An LR Parsing Technique for Extended Context-Free Grammars. 95-107

Volume 6, Number 3/4, 1981

• Augusto Celentano, Pierluigi Della Vigna: Interprocedural Test Path Evaluation. 115-130
• Robert P. Cook: Abstractions for Distributed Programming. 131-138
• Marvin V. Zelkowitz, James R. Lyle: Implementation of Language Enhancements. 139-153
• Jong-Chuang Tsay, Yu-Ming Chang: Design and Implementation of a Chinese Terminal Controller. 155-163