Next: Up: Specyfikacja wskaźnikowych struktur danych Previous: Podsumowanie

Literatura

Apt81

K. R. Apt.
Ten years of Hoare's logic: A survey -- part I.
ACM Transactions on Programming Languages and Systems, 3(4):431-483, październik 1981.

BDR96

L. Banachowski, K. Diks, W. Rytter.
Algorytmy i struktury danych.
Wydawnictwa Naukowo-Techniczne, 1996.

CLR97

T. H. Cormen, C. E. Leiserson, R. L. Rivest.
Wprowadzenie do algorytmów.
Wydawnictwa Naukowo-Techniczne, 1997.

Coo78

S. A. Cook.
Soundness and completeness of an axiom system for program verification.
SIAM Journal on Computing, 7(1):70-90, 1978.

CR97

G. Costa, G. Reggio.
Specification of abstract dynamic-data types: A temporal approach.
Theoretical Computer Science, 173(2):513-554, 1997.

PM95

D. L. Parnas, J. Madey.
Functional documents for computer systems.
Science of Computer Programming, 25(1):41-61, 1995.

Wir99

N. Wirth.
Algorytmy + struktury danych = programy.
Wydawnictwa Naukowo-Techniczne, trzecie wydanie, 1999.

---

Marcin Kubica 2000-03-14