Assertion: predicate | /r/HasProperty | continuation
Facets:
Source sentences:
text: Actually, weakest-precondition semantics is a continuation-passing style semantics of state transformers where the predicate in parameter is a continuation.