Nr. 86 (1978): PB-86 Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

Publiceret: 1978-01-01

Articles