Abstraction and specification in program development
Abstraction and specification in program development
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Abstract types have existential type
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interfaces for strongly-typed object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The C programming language
Why functional programming matters
Research topics in functional programming
Automatic instantiation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Issues in the design and specification of class libraries
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Software engineering with Ada (3rd ed.)
Software engineering with Ada (3rd ed.)
Typing the specialization interface
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Reuse through inheritance: a quantitative study of C++ software
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Subtypes vs. where clauses: constraining parametric polymorphism
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Programming languages (2nd ed.): concepts and constructs
Programming languages (2nd ed.): concepts and constructs
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Communications of the ACM
Lessons learned through six years of component-based development
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Core Java 2: Volume I Fundamentals
Core Java 2: Volume I Fundamentals
Proceedings of the Workshops on Object-Oriented Technology
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Design Patterns vs. Language Design
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Adding Design by Contract to the Ada Language
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
An Analysis of Language-Level Support for Self-Adaptive Software
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
| Hi-index | 0.00 |
One major vehicle for reuse is the use of libraries of code. Reusability is the prime route to software reliability. In this work, we will use the term software component in its widest sense, including all kinds of self-contained libraries of code, including collection libraries, APIs (bindings), application frameworks etc. Abstraction boundaries are essential both for reuse and for reliability. We study language features that help overcome limitations imposed by abstraction boundaries (e.g., incomplete interfaces) without completely breaking abstraction. Language features discussed: type sytem features, object orientation, genericity and reflection. The work presented is work in progress, preliminary results and observations will be shown and discussed.