540 search results - page 2 / 108 » Efficient Inference of Object Types |
ICST
2009
IEEE
13 years 11 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...
OOPSLA
1991
Springer
13 years 8 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
OOPSLA
1995
Springer
13 years 8 months ago
1995
Springer
APLAS
2003
ACM
2003
ACM
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
13 years 10 months ago
PVLDB
2008
13 years 4 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...