1194 search results - page 94 / 239 » A Calculus for Predicative Programming |
115
Voted
ENTCS
2006
15 years 2 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
101
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
155
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
127
click to vote
SPIN
2010
Springer
15 years 28 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
172
click to vote
POST
2012
13 years 10 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...