ECOOP 2008 - PDF Preprint Papers

ECOOP 2008 European Conference on Object-Oriented Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ECOOP-2008 Paper

click to vote

ECOOP
2008
Springer

166views Programming Languages» more ECOOP 2008»

Regional Logic for Local Reasoning about Global Invariants

13 years 29 days ago

Download people.cis.ksu.edu

Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...

Anindya Banerjee, David A. Naumann, Stan Rosenberg

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	166	Regional Logic for Local Reasoning about Global Invariants	claim
2	156	An Extensible State Machine Pattern for Interactive Applications	claim
3	154	Exploring Role Based Adaptation	claim
4	151	Inference of Reference Immutability	claim
5	146	Extensible Universes for Object-Oriented Data Models	claim
6	145	Safe Cross-Language Inheritance	claim
7	144	Session-Based Distributed Programming in Java	claim
8	137	A Case Study for Aspect Based Updating	claim
9	136	Programming with Live Distributed Objects	claim
10	136	Assessing the Impact of Aspects on Exception Flows: An Exploratory Study	claim
11	135	Computing Stack Maps with Interfaces	claim
12	133	On Validity of Program Transformations in the Java Memory Model	claim
13	129	Prototyping and Composing Aspect Languages	claim
14	127	Flow Analysis of Code Customizations	claim
15	127	Kilim: Isolation-Typed Actors for Java	claim
16	124	A Model for Java with Wildcards	claim
17	122	Runtime Adaptations within the QuaD2-Framework	claim
18	120	Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary	claim
19	118	Modeling Context-Dependent Aspect Interference Using Default Logics	claim
20	111	Practical Object-Oriented Back-in-Time Debugging	claim
21	109	Bristlecone: A Language for Robust Software Systems	claim
22	103	Online Phase-Adaptive Data Layout Selection	claim
23	103	MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments	claim
24	100	Externalizing Java Server Concurrency with CAL	claim
25	98	A Uniform Transactional Execution Environment for Java	claim
26	93	Ptolemy: A Language with Quantified, Typed Events	claim
27	92	Object Roles and Runtime Adaptation in Java	claim
28	88	Integrating Nominal and Structural Subtyping	claim
29	83	UpgradeJ: Incremental Typechecking for Class Upgrades	claim
30	82	A Unified Framework for Verification Techniques for Object Invariants	claim
31	78	ReCrash: Making Software Failures Reproducible by Preserving Object States	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers