Bettini, Lorenzo; Damiani, Ferruccio; Schaefer, Ina Compositional type checking of delta-oriented software product lines. (English) Zbl 1448.68212 Acta Inf. 50, No. 2, 77-122 (2013). MSC: 68N19 68N30 PDFBibTeX XMLCite \textit{L. Bettini} et al., Acta Inf. 50, No. 2, 77--122 (2013; Zbl 1448.68212) Full Text: DOI Link
Ancona, Davide; Lagorio, Giovanni; Zucca, Elena Type inference by coinductive logic programming. (English) Zbl 1246.68079 Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 1-18 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Ancona} et al., Lect. Notes Comput. Sci. 5497, 1--18 (2009; Zbl 1246.68079) Full Text: DOI
Ancona, Davide; Fagorzi, Sonia; Zucca, Elena A parametric calculus for mobile open code. (English) Zbl 1277.68158 Danos, Vincent (ed.) et al., Proceedings of the third international workshop on developments in computational models (DCM 2007), Wrocław, Poland, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 3, 3-22 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Ancona} et al., Electron. Notes Theor. Comput. Sci. 192, No. 3, 3--22 (2008; Zbl 1277.68158) Full Text: DOI