249 search results - page 6 / 50 » Principals in Programming Languages: A Syntactic Proof Techn... |
153
Voted
POPL
2001
ACM
15 years 12 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
189
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
105
Voted
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
96
Voted
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
83
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...