33 search results - page 2 / 7 » popl 2005 |
POPL
2005
ACM
14 years 5 months ago
2005
ACM
POPL
2005
ACM
14 years 5 months ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
POPL
2005
ACM
14 years 5 months ago
2005
ACM
POPL
2005
ACM
14 years 5 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...