ESOP 2007 - PDF Preprint Papers

ESOP 2007 European Symposium on Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ESOP-2007 Paper

click to vote

ESOP
2007
Springer

163views Programming Languages» more ESOP 2007»

Cost Analysis of Java Bytecode

14 years 5 months ago

Download www.clip.dia.fi.upm.es

Abstract. Cost analysis of Java bytecode is complicated by its unstructured control ﬂow, the use of an operand stack and its object-oriented programming features (like dynamic di...

Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	163	Cost Analysis of Java Bytecode	claim
2	158	CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements	claim
3	152	Static Analysis by Policy Iteration on Relational Domains	claim
4	149	Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic	claim
5	147	A Concurrent Calculus with Atomic Transactions	claim
6	136	The Java Memory Model: Operationally, Denotationally, Axiomatically	claim
7	133	Principal Type Schemes for Modular Programs	claim
8	130	A Calculus for Orchestration of Web Services	claim
9	127	A Complete Guide to the Future	claim
10	123	Dependent Types for Low-Level Programming	claim
11	123	On the Implementation of Construction Functions for Non-free Concrete Data Types	claim
12	122	A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)	claim
13	119	Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts	claim
14	119	Controlling the What and Where of Declassification in Language-Based Security	claim
15	116	A Consistent Semantics of Self-adjusting Computation	claim
16	116	Interprocedurally Analysing Linear Inequality Relations	claim
17	114	On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning	claim
18	114	A Certified Lightweight Non-interference Java Bytecode Verifier	claim
19	113	Computing Procedure Summaries for Interprocedural Analysis	claim
20	111	Structured Communication-Centred Programming for Web Services	claim
21	111	Probabilistic Anonymity Via Coalgebraic Simulations	claim
22	110	A Core Calculus for a Comparative Analysis of Bio-inspired Calculi	claim
23	110	Type Reconstruction for General Refinement Types	claim
24	106	Modular Shape Analysis for Dynamically Encapsulated Programs	claim
25	105	Scalar Outcomes Suffice for Finitary Probabilistic Testing	claim
26	103	Anti-pattern Matching	claim
27	94	Small Witnesses for Abstract Interpretation-Based Proofs	claim
28	92	Multi-language Synchronization	claim
29	91	Immutable Objects for a Java-Like Language	claim
30	87	Abstract Predicates and Mutable ADTs in Hoare Type Theory	claim
31	85	Using History Invariants to Verify Observers	claim
32	66	A Rewriting Semantics for Type Inference	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers