1003 search results - page 39 / 201 » Type Inference with Inequalities |
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
AAAI
2011
12 years 8 months ago
2011
Coarse-to-fine approaches use sequences of increasingly fine approximations to control the complexity of inference and learning. These techniques are often used in NLP and visio...
FUZZY
1994
Springer
14 years 24 days ago
1994
Springer
In this paper, evolution strategy is applied in order to improve the time series prediction accuracy of a Sugeno and Takagi type fuzzy inference system FIS. The presented approach...