1768 search results - page 93 / 354 » A Logic for Algebraic Effects |
134
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
197
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
FCT
2003
Springer
15 years 6 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
113
Voted
CVPR
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
ICFP
2006
ACM
16 years 22 days ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...