Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Reverse Generics - Parametrization after the Fact

Contributo in Atti di convegno
Data di Pubblicazione:
2011
Abstract:
By abstracting over types, generic programming enables one to write code that is independent from specific data type implementation. This style is supported by most mainstream languages, including C++ with templates and Java with generics. If some code is not designed in a generic way from the start, a major effort is required to convert this code to use generic types. This conversion is manually realized which is known to be tedious and error-prone. We propose Reverse Generics, a general linguistic mechanism to define a generic class from a non-generic class. For a given set of types, a generic is formed by unbinding static dependencies contained in these types. This generalization and generic type instantiation may be done incrementally. This paper studies the possible application of this linguistic mechanism to C++ and Java and, in particular, it reviews limitations of Java generics against our proposal.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Alexandre Bergel; Lorenzo Bettini
Link alla scheda completa:
https://iris.unito.it/handle/2318/123450
Titolo del libro:
Software and Data Technologies
Pubblicato in:
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
Journal
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
Series
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0