ESOP 2004 - PDF Preprint Papers

ESOP 2004 European Symposium on Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ESOP-2004 Paper

click to vote

ESOP
2004
Springer

175views Programming Languages» more ESOP 2004»

A Dependently Typed Ambient Calculus

14 years 5 months ago

Download www.cogs.susx.ac.uk

The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...

Cédric Lhoussaine, Vladimiro Sassone

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	175	A Dependently Typed Ambient Calculus	claim
2	169	Compositional Analysis of Authentication Protocols	claim
3	163	Canonical Graph Shapes	claim
4	152	Resources, Concurrency, and Local Reasoning (Abstract)	claim
5	135	Adaptive Pattern Matching on Binary Data	claim
6	128	Answer Type Polymorphism in Call-by-Name Continuation Passing	claim
7	124	From Constraints to Finite Automata to Filtering Algorithms	claim
8	123	Strong Preservation as Completeness in Abstract Interpretation	claim
9	120	Modal Proofs as Distributed Programs (Extended Abstract)	claim
10	115	Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types	claim
11	114	Just Fast Keying in the Pi Calculus	claim
12	113	Trust Management in Strand Spaces: A Rely-Guarantee Method	claim
13	112	A Semantic Framework for Designer Transactions	claim
14	111	Extracting a Data Flow Analyser in Constructive Logic	claim
15	99	ML-Like Inference for Classifiers	claim
16	97	Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors	claim
17	96	System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types	claim
18	85	Linear Types for Packet Processing	claim
19	75	Static Analysis of Digital Filters	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers