157
click to vote
ESOP
15 years 10 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...
135
click to vote
ESOP
15 years 10 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...
124
click to vote
ESOP
15 years 10 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...
156
click to vote
ESOP
15 years 10 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...
|
Programming Languages