967 search results - page 58 / 194 » Probabilistic Predicative Programming |
122
click to vote
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
213
click to vote
ENTCS
2006
15 years 2 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
122
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
103
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
125
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...