1702 search results - page 123 / 341 » Doomed program points |
162
click to vote
ENTCS
2006
15 years 5 months ago
2006
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...
121
Voted
AC
2002
Springer
15 years 4 months ago
2002
Springer
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
252
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
146
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
136
click to vote
ACISICIS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—An obfuscation aims to transform a program, without affecting its functionality, so that some secret information within the program can be hidden for as long as possible...