java refactoring java 8 eclipse aspect-oriented programming default methods software evolution research automated refactoring streams software engineering empirical study wala typestate analysis type constraints programming languages safe ordering automatic parallelization automated software evolution aspectj enumerated types empirical software engineering logging hybrid programming paradigms imperative programs deep learning degree of interest source code analysis and transformation software repository mining icse2019 icse19 icse streaming apis skeletal implementation pattern interfaces type systems icse2017 static analysis machine learning latex recursion modular reasoning type inferencing formal specification tensorflow python graph-based execution empirical studies concurrency actors technical debt feature logging multi-paradigm programming functional programming compilers type checking automated parallelization safety software development lambda expressions parallelization program transformation program analysis icse17 programming poster software software tools software maintenance software development environments splash objective-c lecture c++ thesis defense rely-guarantee source code analysis source code recommendation systems recommendation systems recommendation system
Tout plus