View of Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

Return to Article Details Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics Download Download PDF