1081 search results - page 17 / 217 » Type Inference of SELF |
146
Voted
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
126
Voted
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
127
Voted
IJAR
2008
15 years 3 months ago
2008
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...
123
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
113
Voted
ICST
2009
IEEE
15 years 10 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...