16 search results - page 3 / 4 » esop 2003 |
ESOP
2010
Springer
14 years 6 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. ...
ESOP
2010
Springer
14 years 3 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....
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...