An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.

Ferruccio Damiani Michael Lienhardt Radu Muschevici Ina Schaefer

Published in: IFM (2017)

Keyphrases

type checking
data types
database
query processor
database query languages
software engineering
general purpose
conceptual model