912 search results - page 14 / 183 » Abstract Saturation-Based Inference |
FMICS
2009
Springer
14 years 4 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
JACIII
2008
13 years 9 months ago
2008
images are observed with cameras and abstract features extracted using image processing. System output is the status of printing pressure, divided into excessive pressure (EP), goo...
COGSCI
2008
13 years 8 months ago
2008
This article demonstrates the potential of using hierarchical Bayesian methods to relate models and data in the cognitive sciences. This is done using a worked example that consid...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...