120
click to vote
ESOP
15 years 6 months ago
2007 Springer 
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
ESOP
15 years 6 months ago
2007 Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
ESOP
15 years 6 months ago
2007 Springer 
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
122
Voted
ESOP
15 years 6 months ago
2007 Springer 
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
ESOP
15 years 6 months ago
2007 Springer  |
Programming Languages