4211 search results - page 133 / 843 » Types as Abstract Interpretations |
178
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
178
click to vote
FCT
2005
Springer
15 years 12 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
174
click to vote
ICTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
158
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
123
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...