1072 search results - page 55 / 215 » Object-Oriented Type Inference |
100
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...
160
click to vote
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...
135
click to vote
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...
111
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
144
click to vote
AAAI
2007
15 years 5 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...