1760 search results - page 231 / 352 » A System to Mark Programs Automatically |
117
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
137
click to vote
CSMR
2009
IEEE
15 years 8 months ago
2009
IEEE
Despite many advances in program comprehension, polymorphism and inheritance are still the cause of many misunderstandings in object-oriented code. In this paper, we present a sui...
133
click to vote
APLAS
2000
ACM
15 years 7 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
185
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
107
click to vote
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...