Logics of Programs 1980: Poznan, Poland

Andrzej Salwicki (Ed.): Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980. Lecture Notes in Computer Science 148 Springer 1983, ISBN 3-540-11981-7 BibTeX

Hajnal Andréka: Sharpening the characterization of the power of Floyd method. 1-26 BibTeX
Lech Banachowski: On proving program correctness by means of stepwise refinement method. 27-44 BibTeX
W. W. Bartol, Antoni Kreczmar, A. I. Litwiniuk, H. Oktaba: Semantics and implementation of prefixing at many levels. 45-80 BibTeX
Francine Berman: Nonstandard model in propositional dynamic logic. 81-85 BibTeX
Hans-Dieter Burkhard: On priorities of parallelism. 86-97 BibTeX
Bogdan S. Chlebus: On four logics of programs and complexity of their satisfiability problems: extended abstract. 98-107 BibTeX
Ludwik Czaja: Are infinite behaviors of parallel system schemata necessary?. 108-117 BibTeX
W. Danko: Algorithmic logic for program trees. 118-131 BibTeX
Patrice Enjalbert: Algebraic semantics and program logics: Algorithmic logic for program trees. 132-147 BibTeX
Michal Grabowski: Some model-theoretical properties of logic for programs with random control. 148-155 BibTeX
Hiroya Kawai: A formal system for parallel programs in discrete time and space. 156-165 BibTeX
Grazyna Mirkowska: On the propositional algorithmic theory of arithmetic. 166-185 BibTeX
István Németi: Nonstandard runs of Floyd-provable programs. 186-204 BibTeX
Ewa Orlowska: On some extensions of dynamic logic. 205-212 BibTeX
Uwe Petermann: On Algorithmic Logic with Partial Operations. 213-223 BibTeX
Alberto Pettorossi: Towards a theory of parallelism and communications for increasing efficiency in applicative languages. 224-249 BibTeX
Gordon D. Plotkin: An operational semantics for CSO. 250-252 BibTeX
S. R. Radev: Programming languages and logics of programs. 253-257 BibTeX
Andrzej Skowron: Concurrent programs. 258-269 BibTeX
Lucjan Stapp: Axiomatic approach to the system of files. 270-294 BibTeX
M. E. Szabo: A sequent calculus for Kröger logic. 295-303 BibTeX
Mars K. Valiev: On axiomatization of process logic. 304-313 BibTeX
Dimiter Vakarelov: Filtration theorem for dynamic algebras with tests and inverse operator. 314-324 BibTeX