Type-Safe Feature-Oriented Product Lines

Sven Apel, Christian Kästner, Armin Gr{\"o}{\ss}linger, Christian Lengauer. Type-Safe Feature-Oriented Product Lines. Technical Report MIP-0909, Department of Informatics and Mathematics, University of Passau, Germany, JUN 2009.

@techreport{AKGL:Passau09,
  title = {Type-Safe Feature-Oriented Product Lines},
  author = {Sven  Apel and Christian Kästner and Armin Gr{\"o}{\ss}linger and Christian Lengauer},
  year = {2009},
  month = {JUN},
  tags = {programming languages, object-oriented programming, rule-based, Java, program analysis, completeness, meta programming, model checking, meta-model, modeling language, Variability-Aware Analysis, refinement, language engineering, language modeling, composition, analysis, language design, type system, requirements engineering, model-driven engineering, object-role modeling, type checking, subject-oriented programming, context-aware, Meta-Environment, safe composition, design, product line, systematic-approach, feature-oriented programming},
  researchr = {https://researchr.org/publication/AKGL%3APassau09},
  cites = {0},
  citedby = {0},
  institution = {Department of Informatics and Mathematics, University of Passau},
  number = {MIP-0909},
  address = {Germany},
}