132
Voted
ESOP
15 years 11 months ago
2010 Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
128
Voted
ESOP
15 years 11 months ago
2010 Springer 
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
110
Voted
ESOP
15 years 11 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...
108
Voted
ESOP
15 years 11 months ago
2010 Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
123
Voted
ESOP
15 years 11 months ago
2010 Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
|
Programming Languages