317 search results - page 1 / 64 » Typing References by Effect Inference |
52
Voted
ESOP
1992
Springer
15 years 1 months ago
1992
Springer
ICST
2009
IEEE
15 years 4 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...
177
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
86
Voted
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...