1760 search results - page 178 / 352 » Program Analysis Using Weighted Pushdown Systems |
116
click to vote
AICCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
108
Voted
IOR
2006
15 years 24 days ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
108
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
92
Voted
VLC
2008
15 years 21 days ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
155
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...