317 search results - page 1 / 64 » Typing References by Effect Inference |
64
Voted
ESOP
1992
Springer
15 years 3 months ago
1992
Springer
80
Voted
ICST
2009
IEEE
15 years 6 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...
193
click to vote
POPL
2009
ACM
16 years 9 days 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...
100
click to vote
ECOOP
2008
Springer
15 years 1 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 5 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...