18429 search results - page 153 / 3686 » Typing dynamic typing |
154
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
197
click to vote
IEEEARES
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
189
click to vote
ACMSE
2006
ACM
16 years 13 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
184
click to vote
HASKELL
2006
ACM
16 years 12 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
170
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...