ESOP 2010 - PDF Preprint Papers

ESOP 2010 European Symposium on Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ESOP-2010 Paper

click to vote

ESOP
2010
Springer

153views Programming Languages» more ESOP 2010»

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While

1 years 11 months ago

Download www.cs.ioc.ee

In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...

Keiko Nakata and Tarmo Uustalu

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	153	A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While	claim
2	101	Explicit Stabilisation for Modular Rely-Guarantee Reasoning	claim
3	85	A theory of speculative computation	claim
4	84	Amortized Resource Analysis with Polynomial Potential - A Static Inference of Polynomial Bounds for Functional Programs	claim
5	84	Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit	claim
6	76	CFA2: A Context-Free Approach to Control-Flow Analysis	claim
7	73	Verifying a Compiler for Java Threads	claim
8	72	Parameterized Memory Models and Concurrent Separation Logic	claim
9	71	Automating Security Mediation Placement	claim
10	68	On the Expressive Power of Primitives for Compensation Handling	claim
11	67	Formal Verification of Coalescing Graph-Coloring Register Allocation	claim
12	67	A Universal Calculus for Stream Processing Languages	claim
13	66	Logical Concurrency Control From Sequential Proofs	claim
14	66	Separating Shape Graphs	claim
15	65	Testing Polymorphic Properties	claim
16	65	Propositional Interpolation and Abstract Interpretation	claim
17	65	Amortized Resource Analysis with Polynomial Potential	claim
18	64	Deadlock-free Channels and Locks	claim
19	61	Functional Programming in Sublinear Space	claim
20	61	Stateful Contracts for Affine Types	claim
21	60	Faulty Logic: Reasoning about Fault Tolerant Programs	claim
22	60	Generative Operational Semantics for Relaxed Memory Models	claim
23	60	Enforcing Stateful Authorization and Information Flow Policies in Fine	claim
24	59	Amortised Resource Analysis with Separation Logic	claim
25	58	Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions	claim
26	58	Weighted Dynamic Pushdown Networks	claim
27	56	A PolyTime Functional Language from Light Linear Logic	claim
28	55	Fluid Updates: Beyond Strong vs. Weak Updates	claim
29	54	A Grammar-based Approach to Invertible Programs	claim
30	53	A Semantic Framework for Declassification and Endorsement	claim
31	51	TRX: A Formally Verified Parser Interpreter	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers