1569 search results - page 172 / 314 » Programming contest strategy |
132
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
122
click to vote
PEPM
2010
ACM
16 years 2 days ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
148
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
111
click to vote
APSEC
2006
IEEE
15 years 9 months ago
2006
IEEE
We hypothesize that certain program complexities and difficulties to realize reuse potentials have their roots in weak mechanisms for generic design of today’s programming techn...
120
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...