Visning af: Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

Tilbage til artikeldetaljer Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics Download Download PDF