1003 search results - page 19 / 201 » Type Inference with Inequalities |
VMCAI
2010
Springer
14 years 6 months 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),...
ICST
2009
IEEE
14 years 3 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...
CBMS
2009
IEEE
14 years 3 months ago
2009
IEEE
The category of institution or organization underwriting the research reported in a scientific article is a required field (Grant Support type) in the bibliographic record of that...
ACSC
2001
IEEE
14 years 9 days ago
2001
IEEE
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...
ICSE
1997
IEEE-ACM
14 years 24 days ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...