1291 search results - page 148 / 259 » Arithmetic program paths |
97
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
105
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
128
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
112
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
93
Voted
ICSE
2004
IEEE-ACM
16 years 23 days ago
2004
IEEE-ACM
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...