1411 search results - page 45 / 283 » A Value Analysis for C Programs |
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we investigated the use of Genetic Programming (GP) to evolve programs which could detect moving objects in videos. Two main approaches under the paradigm were propo...
ICSE
1997
IEEE-ACM
14 years 26 days ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
SIAMJO
2008
13 years 8 months ago
2008
We study the quantitative stability of linear multistage stochastic programs under perturbations of the underlying stochastic processes. It is shown that the optimal values behave...
ERLANG
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...