Sciweavers

ACTA
1998
81views more  ACTA 1998»
13 years 11 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
LISP
2007
78views more  LISP 2007»
13 years 11 months ago
Implementation and use of the PLT scheme Web server
The PLT Scheme Web Server uses continuations to enable a natural, console-like program development style. We describe the implementation of the server and its use in the developmen...
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A...