12272 search results - page 99 / 2455 » Experimental program analysis |
106
Voted
PPPJ
2003
ACM
15 years 6 months ago
2003
ACM
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
100
Voted
TIC
1998
Springer
15 years 5 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
96
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
110
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
88
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM