1003 search results - page 32 / 201 » Type Inference with Inequalities |
APLAS
2004
ACM
14 years 13 days ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
JMLR
2010
13 years 3 months ago
2010
We present an approximate inference approach to parameter estimation in a spatio-temporal stochastic process of the reaction-diffusion type. The continuous space limit of an infer...
ASIAN
2006
Springer
14 years 13 days ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
ESOP
2009
Springer
14 years 17 days ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...