596 search results - page 68 / 120 » Subtyping Recursive Types |
105
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
This survey paper categorises, compares, and summarises from almost all published technical and review articles in automated fraud detection within the last 10 years. It defines t...
119
click to vote
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
FOCS
1992
IEEE
15 years 5 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
110
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...