On Type Checking Delta-Oriented Product Lines.

Ferruccio Damiani Michael Lienhardt

Published in: IFM (2016)

Keyphrases

type checking
product lines
product line
software product line
software development
data types
software systems
management practices
query processor
abstract data types
relational calculus
software engineering
open source
future directions