Adaptable generic programming with required type specifications and package templates

Authors:
Eyvind W. Axelsen;Stein Krogdahl
Affiliations:
University of Oslo, Oslo, Norway;University of Oslo, Oslo, Norway
Venue:
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Year:
2012

Citing 15
Cited 1

Virtual classes: a powerful mechanism in object-oriented programming

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Object-oriented programming in the BETA programming language

Object-oriented programming in the BETA programming language
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Family Polymorphism

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Domain-Driven Design: Tacking Complexity In the Heart of Software

Domain-Driven Design: Tacking Complexity In the Heart of Software
Associated types and constraint propagation for mainstream object-oriented generics

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
J&: nested intersection for scalable software composition

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
An extended comparative study of language support for generic programming

Journal of Functional Programming
A reusable observer pattern implementation using package templates

Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software
Debugging Method Names

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Type classes as objects and implicits

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A language for generic programming in the large

Science of Computer Programming
An overview of caesarj

Transactions on Aspect-Oriented Software Development I
JavaGI: generalized interfaces for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code

Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of this work is to provide better support for adaption and refinement of generic code. This type of flexibility is desirable in order to fully reap the potential of generic programming. Our proposal for an improved mechanism is an extension to the previously published Package Templates (PT) mechanism, which is designed for development of reusable modules that can be adapted to their specific purpose when used in a program. The PT mechanism relies on compile-time specialization, and supports separate type checking and type-safe composition of modules. The extension to PT presented here is called required types, and can be seen as an enhanced form of type parameters, allowing them the same flexibility as other elements of the PT mechanism. We implement a subset of the Boost Graph Library in order to exemplify, validate, and compare our approach to other options.