967 search results - page 134 / 194 » Probabilistic Predicative Programming |
125
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
153
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
109
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Profiling can accurately analyze program behavior for select data inputs. We show that profiling can also predict program locality for inputs other than profiled ones. Here loc...
227
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
133
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...