![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 10
Volume 10, Number 1, February 1988
- Orit Baruch, Shmuel Katz:
Partially Interpreted Schemas for CSP Programming. 1-18 - F. E. J. Kruseman Aretz:
On Deriving a LISP Program From Its Specification. 19-32 - Deepak Kapur, Mandayam K. Srivas:
Computability and Implementability Issues in Abstract Data Types. 33-63 - Manfred Broy:
Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly. 65-85 - Martin Rem:
Small Programming Exercises 20. 99-105
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 - Hanne Riis Nielson, Flemming Nielson:
Automatic Binding Time Analysis for a Typed lambda-Calculus. 139-176 - Ian A. Mason:
Verification of Programs That Destructively Manipulate Data. 177-210
Volume 10, Number 3, June 1988
- Boleslaw K. Szymanski
, Noah S. Prywes:
Efficient Handling of Data Structures in Definitional Languages. 221-245 - Beat Michel
:
A 'Division' Transformation for Program and Data Structures and the Structure Clash Problem. 247-280 - Peter G. Harrison
:
Linearisation: An Optimisation for Nonlinear Functional Programs. 281-318 - Martin Rem:
Small Programming Exercises 21. 319-325
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.