276 search results - page 39 / 56 » Learning from Project History to Support Programmers |
109
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
90
Voted
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
127
Voted
WCE
2007
15 years 3 months ago
2007
– In this paper we perform a t-test for significant gene expression analysis in different dimensions based on molecular profiles from microarray data, and compare several computa...
138
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
76
Voted
LREC
2010
15 years 3 months ago
2010
This paper describes the Language Technology Resource Center (LTRC), a U.S. Government website for providing information and tools for users of languages (e.g., translators, analy...