166
click to vote
ESOP
15 years 11 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...
141
click to vote
ESOP
15 years 11 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...
131
Voted
ESOP
15 years 11 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...
166
click to vote
ESOP
15 years 11 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