Modularity 2016
Mon 14 - Thu 17 March 2016 Spain
Wed 16 Mar 2016 12:00 - 12:30 at MODULARITY - Modular Design and Reasoning Chair(s): Hridesh Rajan

This paper presents a novel and simple solution to Wadler’s Expression Problem that works in conventional object-oriented languages. Unlike all existing solutions in Java-like languages, this new solution does not use any kind of generics: it relies only on subtyping. The key to the solution is the use of covariant type refinement of return types (or fields): a simple feature available in many object-oriented languages, but not as widely known or used as it should be. We believe that our results present valuable insights for researchers and programming language designers interested in extensibility. Furthermore our results have immediate applicability as practical design patterns for programmers interested in improving extensibility of their programs.

Wed 16 Mar

Displayed time zone: Belfast change

10:30 - 12:30
Modular Design and ReasoningResearch Results at MODULARITY
Chair(s): Hridesh Rajan Iowa State University
10:30
30m
Talk
Segregating Feature Interfaces to Support Software Product Line Maintenance
Research Results
Bruno B. P. Cafeo PUC-Rio, Brazil, Claus Hunsen University of Passau, Germany, Alessandro Garcia PUC-Rio, Brazil, Sven Apel University of Passau, Jaejoon Lee Lancaster University, UK
DOI
11:00
30m
Talk
Reasoning Tradeoffs in Languages with Enhanced Modularity Features
Research Results
José Sánchez Universidad Nacional, Costa Rica, Gary Leavens University of Central Florida
DOI
11:30
30m
Talk
Unveiling and Reasoning about Co-change Dependencies
Research Results
Marcos César de Oliveira MPOG, Brazil, Rodrigo Bonifácio University of Brasília, Brazil, Guilherme N. Ramos University of Brasília, Brazil, Márcio Ribeiro Federal University of Alagoas (UFAL)
DOI
12:00
30m
Talk
The Expression Problem, Trivially!
Research Results
Yanlin Wang , Bruno C. d. S. Oliveira University of Hong Kong
DOI