206 search results - page 3 / 42 » Type Inference for Variant Object Types |
100
click to vote
ICST
2009
IEEE
15 years 8 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...
110
Voted
OOPSLA
1991
Springer
15 years 5 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...
105
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
OOPSLA
1995
Springer
15 years 5 months ago
1995
Springer
135
Voted
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...