![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 6
Volume 6, Number 1, January 1986
- Robert McCurley, Fred B. Schneider:
Derivation of a Distributed Algorithm for Finding Paths in Directed Networks. 1-9 - Françoise Bellegarde:
Rewriting Systems on FP Expressions to Reduce the Number of Sequences Yielded. 11-34 - Nissim Francez, Brent Hailpern, Gadi Taubenfeld:
Script: A Communication Abstraction Mechanism and Its Verification. 35-88 - J. G. Wiltink:
Two Most Nondeterministic Programs. 89-94 - Martin Rem:
Small Programming Exercises 9. 95-102
Volume 6, Number 2, March 1986
- John V. Guttag, James J. Horning:
Report on the Larch Shared Language. 103-134 - John V. Guttag, James J. Horning:
A Larch Shared Language Handbook. 135-157 - Richard S. Bird:
Transformational Programming and the Paragraph Problem. 159-189 - Krzysztof Zielinski:
Model of Error Propagation in Systems of Communicating Processes. 191-205 - Martin Rem:
Small Programming Exercises 10. 207-211
Volume 6, Number 3, May 1986
- N. W. P. van Diepen, Willem P. de Roever:
Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. 213-272 - Jon Fairbairn:
A New Type-Checker for a Functional Language. 273-290 - William Stoye:
Message-Based Functional Operating Systems. 291-311 - Martin Rem:
Small Programming Exercises 11. 313-318
![](https://dblp.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.