NDLI: Verifying traits: a proof system for fine-grained reuse

Please wait, while we are loading the content...

Fractional permissions without the fractions

A sip of the Chalice

Specification-based sketching with Sketch

Harmless compiler plugins

Coinductive big-step operational semantics for type soundness of Java-like languages

Guarded type promotion: eliminating redundant casts in Java

On the interplay of exception handling and design by contract: an aspect-oriented recovery approach

Verifying traits: a proof system for fine-grained reuse

Automatic inference of model fields and their representation

Verifying traits: a proof system for fine-grained reuse

Content Provider	ACM Digital Library
Author	Dovland, Johan Johnsen, Einar Broch Damiani, Ferruccio Schaefer, Ina
Abstract	Traits have been proposed as a more flexible mechanism for code structuring in object-oriented programming than class inheritance, for achieving fine-grained code reuse. A trait originally developed for one purpose can be modified and reused in a completely different context. Formalizations of traits have been extensively studied, and implementations of traits have started to appear in programming languages. However, work on formally establishing properties of trait-based programs has so far mostly concentrated on type systems. This paper proposes the first deductive proof system for a trait-based object-oriented language. If a specification for a trait can be given a priori, covering all actual usage of that trait, our proof system is modular as each trait is analyzed only once. In order to reflect the flexible reuse potential of traits, our proof system additionally allows new specifications to be added to a trait in an incremental way which does not violate established proofs. We formalize and show the soundness of the proof system.
Starting Page	1
Ending Page	6
Page Count	6
File Format	PDF
ISBN	9781450308939
DOI	10.1145/2076674.2076682
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-07-25
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Proof system Incremental reasoning Trait Program verification
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in