12272 search results - page 210 / 2455 » Experimental program analysis |
149
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
135
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
Targeted optimization of program segments can provide an additional program speedup over the highest default optimization level, such as -O3 in GCC. The key challenge is how to au...
186
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
162
click to vote
ITICSE
2004
ACM
15 years 12 months ago
2004
ACM
Prior research on pair programming has found that compared to students who work alone, students who pair have shown increased confidence in their work, greater success in CS1, an...
177
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...