3 ms·
How would we specify P? I can't get away from the idea that specifying P is similar to constructing T.
by undershirt 10y ago
How would we specify P? I can't get away from the idea that specifying P is similar to constructing T.
- User23 10y agoDijkstra and Scholten's Predicate Calculus and Program Semantics is a good textbook on the subject. Dijkstra's a Discipline of Programming is much more informal, but I find it more readable and it has a number of good examples.
- undershirt 10y agoThis is probably difficult to explain without proper context, but could I ask you for a summary? (Thanks for the book references.)