3713 search results - page 86 / 743 » Constructing a Calculus of Programs |
150
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
POS
1992
Springer
15 years 7 months ago
1992
Springer
115
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
121
click to vote
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...