31686 search results - page 370 / 6338 » Resource typing in Guru |
147
click to vote
ICST
2009
IEEE
16 years 25 days 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...
153
click to vote
APLAS
2009
ACM
16 years 21 days ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
194
click to vote
IEEEARES
2008
IEEE
16 years 17 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...
183
click to vote
ACMSE
2006
ACM
16 years 4 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...
180
click to vote
HASKELL
2006
ACM
16 years 4 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 ...