ESOP 2005 - PDF Preprint Papers

ESOP 2005 European Symposium on Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ESOP-2005 Paper

click to vote

ESOP
2005
Springer

213views Programming Languages» more ESOP 2005»

Asserting Bytecode Safety

13 years 10 months ago

Download www4.in.tum.de

Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...

Martin Wildmoser, Tobias Nipkow

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	213	Asserting Bytecode Safety	claim
2	204	Towards a Type System for Analyzing JavaScript Programs	claim
3	167	Analysis of an Electronic Voting Protocol in the Applied Pi Calculus	claim
4	161	Computationally Sound, Automated Proofs for Security Protocols	claim
5	159	BI Hyperdoctrines and Higher-Order Separation Logic	claim
6	155	Forward Slicing by Conjunctive Partial Deduction and Argument Filtering	claim
7	152	Java Jr: Fully Abstract Trace Semantics for a Core Java Language	claim
8	152	A Type System Equivalent to a Model Checker	claim
9	144	Subtyping First-Class Polymorphic Components	claim
10	138	Interprocedural Herbrand Equalities	claim
11	126	Analysis of Modular Arithmetic	claim
12	121	Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries	claim
13	117	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close	claim
14	116	Programming with Explicit Security Policies	claim
15	110	A New Foundation for Control-Dependence and Slicing for Modern Program Structures	claim
16	107	Determinacy Inference for Logic Programs	claim
17	92	Deciding Reachability in Mobile Ambients	claim
18	92	Denotational Semantics for Abadi and Leino's Logic of Objects	claim
19	86	Trace Partitioning in Abstract Interpretation Based Static Analyzers	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers