3713 search results - page 1 / 743 » Constructing a Calculus of Programs |
PROCOMET
1998
13 years 8 months ago
1998
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.
PPDP
2000
Springer
13 years 10 months ago
2000
Springer
POPL
2003
ACM
14 years 7 months ago
2003
ACM
FOSSACS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
CSL
2007
Springer
14 years 27 days ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...