6960 search results - page 315 / 1392 » Continuity Analysis of Programs |
146
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
147
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
144
click to vote
SIAMJO
2010
15 years 2 months ago
2010
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...
144
click to vote
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
152
click to vote
EUROCAST
1994
Springer
15 years 8 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...