Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Compiling generics through user-directed type specialization
 
conference paper

Compiling generics through user-directed type specialization

Dragos, Iulian  
•
Odersky, Martin  
2009
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems

Compilation of polymorphic code through type erasure gives compact code but performance on primitive types is significantly hurt. Full specialization gives good performance, but at the cost of increased code size and compilation time. Instead we propose a mixed approach, which allows the programmer to decide what code to specialize. Our approach supports separate compilation, allows mixing of specialized and generic code, and gives very good results in practice.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1145/1565824.1565830
Author(s)
Dragos, Iulian  
Odersky, Martin  
Date Issued

2009

Publisher

ACM

Published in
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Start page

42

End page

47

Subjects

boxing

•

specialization

•

parametric polymorphism

•

object-oriented programming languages

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LAMP1  
Event nameEvent placeEvent date
4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems

Genova, Italy

July, 2009

Available on Infoscience
July 23, 2010
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/51845
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés