147 search results - page 9 / 30 » Relational Parametricity and Separation Logic |
109
click to vote
ICML
2007
IEEE
16 years 13 days ago
2007
IEEE
A geometric and non parametric procedure for testing if two nite set of points are linearly separable is proposed. The Linear Separability Test is equivalent to a test that deter...
200
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
AI
2002
Springer
14 years 11 months ago
2002
Springer
Independence--the study of what is relevant to a given problem of reasoning--is an important AI topic. In this paper, we investigate several notions of conditional independence in...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...