Sciweavers

11 search results - page 3 / 3
» Two contextualist fallacies
Sort
View
ACTA
1998
81views more  ACTA 1998»
13 years 10 months ago
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
Lex Bijlsma, Rob Nederpelt