Computer Languages, Volume 12

Volume 12, Number 1, 1987

Michael C. Rubenstein, Richard M. Salter: Computationally Extended Logic Programming. 1-7
Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa: Logical Programming for the Telegram Analysis Problem. 9-20
John D. Gannon, Marvin V. Zelkowitz: Two Implementation Models of Abstract Data Types. 21-25
M. Elizabeth C. Hull: Occam - A Programming Language for Multiprocessor Systems. 27-37
James W. Hooper: Language Features for Discrete Simulation. 39-46
Marc Feeley, Guy Lapalme: Using Closures for Code Generation. 47-66

Paul A. Bailes: G: A Functional Language with Generic Abstract Data Types. 69-94
Thomas Strothotte, Gordon V. Cormack: Structured Program Lookahead. 95-108
Christopher T. Haynes, Daniel P. Friedman: Abstracting Timed Preemption with Engines. 109-121
M. Zaki, Al. H. Albarhamtoshy: A Formal Design of an Arabic Text Formatter for Microcomputers. 123-143

Ray Ford, Michael Wagner: Performance Evaluation Methodologies for Abstract Data Type Implementation Techniques. 145-162
J. Dana Eckart, Richard J. LeBlanc: Overloading in the Ada Language: Is ist Too Restrictive? 163-171
Teodor Rus: An Algebraic Model for Programming Languages. 173-195
Matthias Felleisen: Reflections on Landins's J-Operator: A Partly Historical Note. 197-207