Next: About this document ... Up: Wnioskowanie o programach za Previous: Zakończenie

Spis Literatury

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.

Apt84

K. R. Apt.
Ten years of Hoare's logic: A survey--part II: Nondeterminism.
Theoretical Computer Science, 28:83-109, 1984.

Ban77

L. Banachowski.
Investigations of properties of programs by means of the extended algorithmic logic I, II.
Fundamenta Informaticae, I(1,2), 1977.

Coo78

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

Cou90

P. Cousot.
Methods and logics for proving programs.
W: J. van Leeuwen, ed., Handbook of Theoretical Computer Science, tom B: Formal Models and Semantics, rozdział 15, str. 841-993. Elsevier, 1990.

Dij85

E. W. Dijkstra.
Umiej"etno"s"c programowania.
Wydawnictwa Naukowo-Techniczne, 1985.

Har79

D. Harel.
First-order dynamic logic.
Lecture Notes in Computer Science, 68, 1979.

Har84

D. Harel.
Dynamic logic.
W: D. Gabbay, F. Guenthner, ed., Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, tom 165, Synthese Library, rozdział II.10, str. 497-604. D. Reidel Publ. Co., Dordrecht, 1984.

Hoa69

C. A. R. Hoare.
An axiomatic basis for computer programming.
Communications of the ACM, 12:576-583, 1969.

KT90

D. Kozen, J. Tiuryn.
Logics of programs.
W: J. van Leewen, ed., Handbook of Theoretical Computer Science, tom B: Formal Models and Semantics, rozdział 14, str. 789-840. Elsevier, New York, N.Y., 1990.

MS87

G. Mirkowska, A. Salwicki.
Algorithmic Logic.
D. Reidel Publishing Company, 1987.

MS92

G. Mirkowska, A. Salwicki.
Logika algorytmiczna dla programist"ow.
Wydawnictwa Naukowo-Techniczne, 1992.

Nel87

G. Nelson.
A generalization of Dijkstra's calculus.
Raport techniczny 16, Digital Equipment Corporation, Systems Research Centre, kwiecień 1987.

Sal70

A. Salwicki.
Formalized algorithmic languages.
Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys., 18(5), 1970.

---

Adam Balaban 2002-03-21