Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 6; Issue none

Science of Computer Programming

Volume 6; Issue none
1

Editorial Board

Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 44 KB
english, 1986
2

Derivation of a distributed algorithm for finding paths in directed networks

Robert McCurley, Fred B. Schneider
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 453 KB
english, 1986
3

Script: A communication abstraction mechanism and its verification

Nissim Francez, Brent Hailpern, Gadi Taubenfeld
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 2.89 MB
english, 1986
4

Report on the larch shared language

J.V. Guttag, J.J. Horning
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 1.80 MB
english, 1986
5

A Larch Shared Language handbook

J.V. Guttag, J.J. Horning
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 833 KB
english, 1986
6

Transformational programming and the paragraph problem

R.S. Bird
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 1.53 MB
english, 1986
7

Model of error propagation in systems of communicating processes

Krzysztof Zieliński
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 817 KB
english, 1986
8

Small programming exercises 10

M. Rem
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 176 KB
english, 1986
9

Program derivation through transformations: The evolution of list-copying algorithms

N.W.P. van Diepen, W.P. de Roever
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 2.90 MB
english, 1986
10

A new type-checker for a functional language

Jon Fairbairn
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 936 KB
english, 1986
11

Message-based functional operating systems

William Stoye
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 1.31 MB
english, 1986
12

Small programming exercises 11

M. Rem
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 241 KB
english, 1986
13

Modern methods for COBOL programmers: By J.R. Pugh and D.H. Bell, Prentice-Hall, Englewood Cliffs, NJ, 1983

R. Lesuisse
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 73 KB
english, 1986
14

Author index volume 6 (1986)

Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 41 KB
english, 1986
15

Rewriting systems on FP expressions to reduce the number of sequences yielded

Françoise Bellegarde
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 1.28 MB
english, 1986
16

Two most nondeterministic programs

J.G. Wiltink
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 225 KB
english, 1986
17

Small programming exercises 9

M. Rem
Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 265 KB
english, 1986
18

Call for papers

Журнал:
Science of Computer Programming
Рік:
1986
Мова:
english
Файл:
PDF, 84 KB
english, 1986