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

Last update Tue Feb 14 04:15:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page