4770 search results - page 54 / 954 » Flexible Type Analysis |
119
click to vote
ENTCS
2007
15 years 3 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
118
click to vote
FPCA
1995
15 years 7 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
126
Voted
ACL
2004
15 years 5 months ago
2004
This paper introduces an indexing method based on static analysis of grammar rules and type signatures for typed feature structure grammars (TFSGs). The static analysis tries to p...
113
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
130
click to vote
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
The ScatterType CAPTCHA, designed to resist character– segmentation attacks and shown to be highly legible to human readers, is analyzed for vulnerabilities and is offered for e...