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

Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer

Browse the full IFM paper archive.