157 search results - page 9 / 32 » A Structured Demonstration of Program Comprehension Tools |
129
Voted
ICST
2011
IEEE
14 years 3 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
149
click to vote
ECOOP
2003
Springer
15 years 4 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
107
Voted
CADE
2010
Springer
15 years 22 days ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
BMCBI
2005
14 years 11 months ago
2005
Background: The ESTree db http://www.itb.cnr.it/estree/ represents a collection of Prunus persica expressed sequenced tags (ESTs) and is intended as a resource for peach functiona...