1194 search results - page 7 / 239 » A Calculus for Predicative Programming |
105
click to vote
IPL
2008
14 years 11 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
112
click to vote
ICLP
1999
Springer
15 years 3 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
106
click to vote
TYPES
2004
Springer
15 years 5 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
MPC
2004
Springer
15 years 5 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
117
click to vote
PROCOMET
1998
15 years 29 days ago
1998
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.