1003 search results - page 32 / 201 » Type Inference with Inequalities |
126
Voted
APLAS
2004
ACM
15 years 7 months 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 ...
101
click to vote
OOPSLA
2007
Springer
15 years 9 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...
162
Voted
JMLR
2010
14 years 10 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...
152
Voted
ASIAN
2006
Springer
15 years 7 months 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...
136
Voted
ESOP
2009
Springer
15 years 7 months 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...