33 search results - page 2 / 7 » popl 2005 |
161
click to vote
POPL
2005
ACM
16 years 11 days ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
170
Voted
POPL
2005
ACM
16 years 11 days ago
2005
ACM
176
click to vote
POPL
2005
ACM
16 years 11 days 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...
182
click to vote
POPL
2005
ACM
16 years 11 days 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...