Science of Computer Programming, Volume 10

Volume 10, Number 1, February 1988

• Orit Baruch, Shmuel Katz: Partially Interpreted Schemas for CSP Programming. 1-18 BibTeX
• F. E. J. Kruseman Aretz: On Deriving a LISP Program From Its Specification. 19-32 BibTeX
• Deepak Kapur, Mandayam K. Srivas: Computability and Implementability Issues in Abstract Data Types. 33-63 BibTeX
• Manfred Broy: Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly. 65-85 BibTeX
• Martin Rem: Small Programming Exercises 20. 99-105 BibTeX

Volume 10, Number 2, April 1988

• Gerard Tel, Richard B. Tan, Jan van Leeuwen: The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols. 107-137 BibTeX
• Hanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed lambda-Calculus. 139-176 BibTeX
• Ian A. Mason: Verification of Programs That Destructively Manipulate Data. 177-210 BibTeX

Volume 10, Number 3, June 1988

• Boleslaw K. Szymanski, Noah S. Prywes: Efficient Handling of Data Structures in Definitional Languages. 221-245 BibTeX
• Beat Michel: A `Division' Transformation for Program and Data Structures and the Structure Clash Problem. 247-280 BibTeX
• Peter G. Harrison: Linearisation: An Optimisation for Nonlinear Functional Programs. 281-318 BibTeX
• Martin Rem: Small Programming Exercises 21. 319-325 BibTeX