[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

Dijkstra's Predicate Transfomer Semantics

10 2021-10-23 16:41

Is the book in question Predicate Calculus and Program Semantics?

18

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode