ECOOP 2010 - PDF Preprint Papers

ECOOP 2010 European Conference on Object-Oriented Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ECOOP-2010 Paper

click to vote

ECOOP
2010
Springer

245views Programming Languages» more ECOOP 2010»

Contract-Based Data Structure Repair Using Alloy

13 years 7 months ago

Download users.ece.utexas.edu

Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...

Razieh Nokhbeh Zaeem, Sarfraz Khurshid

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	245	Contract-Based Data Structure Repair Using Alloy	claim
2	221	Adding Dynamic Types to C#	claim
3	208	The Essence of JavaScript	claim
4	192	The Use of Overloading in Java Programs	claim
5	186	Reasoning about the Implementation of Concurrency Abstractions on x86-TSO	claim
6	175	Capabilities for Uniqueness and Borrowing	claim
7	169	Recency Types for Analyzing Scripting Languages	claim
8	167	Correct Refactoring of Concurrent Java Code	claim
9	164	Self-Replicating Objects for Multicore Platforms	claim
10	156	Falling Back on Executable Specifications	claim
11	150	Concurrent Abstract Predicates	claim
12	149	Type-Safe Eventful Sessions in Java	claim
13	148	Secret Valley	claim
14	147	Programming Coordinated Behavior in Java	claim
15	147	Verifying Executable Object-Oriented Specifications with Separation Logic	claim
16	145	Automatically Extracting Class Diagrams from Spreadsheets	claim
17	141	Essential AOP: The A Calculus	claim
18	140	Embedding Languages without Breaking Tools	claim
19	136	Detecting Missing Method Calls in Object-Oriented Software	claim
20	135	Modules as Objects in Newspeak	claim
21	128	A Type System for Data-Centric Synchronization	claim
22	124	Verifying Generics and Delegates	claim
23	116	Code Roots	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers