5255 search results - page 390 / 1051 » Formal Methods for Privacy |
220
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in th...
129
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
150
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
106
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
124
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...