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

Volume 12, Number 2, 1987

• 
  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

Volume 12, Number 3/4, 1987

• 
  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 updated on Wed May 22 05:21:58 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page