177 search results - page 16 / 36 » Higher-Order Abstract Non-interference |
PLILP
1995
Springer
14 years 5 days ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
ACCV
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper, we propose a novel method for generic object recognition by using higher-order local auto-correlations on probability images. The proposed method is an ext...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...