Computer Languages, Volume 12

Volume 12, Number 1, 1987

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

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

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