1984-03-01
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness
Publication
Publication
Presented at the
Logics of Programs, Pittsburgh, PA, USA
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
Logics of Programs | |
Bergstra, J., & Tiuryn, J. (1984). PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness. In Logics of Programs: Workshop carnegie Mellon University Pittsburgh, PA (pp. 45–56). Springer. |