157 search results - page 14 / 32 » A Structured Demonstration of Program Comprehension Tools |
103
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
159
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
121
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
PLILP
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
102
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...