Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"static analysis,generics,incomplete programs,program synthesis,type systems,Java"”.
-
COMPILING AND DETECTING TYPE ERRORS IN INCOMPLETE JAVA PROGRAMS WITH GENERICS
Incomplete programs are ubiquitous in web repositories, evolving software projects and beyond. However, they are difficult to work with as they contain references to undeclared constructs. Earlier efforts by the programming languages community have offered solutions to this problem across several …