Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
a service of 
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.
last updated on 2023-05-30 00:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
