ACM Publications (available by the ACM Author-Izer Service)

ACM DL Author-ize serviceGeneric traits for the Java platform
Lorenzo Bettini, Ferruccio Damiani
PPPJ '14 Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, 2014
ACM DL Author-ize serviceDeltaJ 1.5: delta-oriented programming for Java 1.5
Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani
PPPJ '14 Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, 2014
ACM DL Author-ize serviceDelta-oriented multi software product lines
Ferruccio Damiani, Ina Schaefer, Tim Winkelmann
SPLC '14 Proceedings of the 18th International Software Product Line Conference - Volume 1, 2014
ACM DL Author-ize serviceRefinement-based testing of delta-oriented product lines
Ferruccio Damiani, Christoph Gladisch, Shmuel Tyszberowicz
PPPJ '13 Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, 2013
ACM DL Author-ize servicePure trait-based programming on the Java platform
Lorenzo Bettini, Ferruccio Damiani
PPPJ '13 Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, 2013
ACM DL Author-ize serviceA formal foundation for dynamic delta-oriented software product lines
Ferruccio Damiani, Luca Padovani, Ina Schaefer
GPCE '12 Proceedings of the 11th International Conference on Generative Programming and Component Engineering, 2012
ACM DL Author-ize
serviceA transformational proof system for delta-oriented programming
Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
SPLC '12 Proceedings of the 16th International Software Product Line Conference - Volume 2, 2012
ACM DL Author-ize serviceDynamic delta-oriented programming
Ferruccio Damiani, Ina Schaefer
SPLC '11 Proceedings of the 15th International Software Product Line Conference, Volume 2, 2011
ACM DL Author-ize
serviceVerifying traits: a proof system for fine-grained reuse
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
FTfJP '11 Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs, 2011
ACM DL Author-ize
serviceCompositional type-checking for delta-oriented programming
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
AOSD '11 Proceedings of the tenth international conference on Aspect-oriented software development, 2011
ACM DL Author-ize servicePure delta-oriented programming
Ina Schaefer, Ferruccio Damiani
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, 2010
ACM DL Author-ize
serviceA prototypical Java-like language with records and traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
PPPJ '10 Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, 2010
ACM DL Author-ize serviceImplementing software product lines using traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing, 2010
ACM DL Author-ize serviceA mechanism for flexible dynamic trait replacement
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
FTfJP '09 Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009
ACM DL Author-ize serviceA provenly correct translation of Fickle into Java
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, E. Zucca
ACM Transactions on Programming Languages and Systems (TOPLAS), 2007
ACM DL Author-ize
servicePolymorphic bytecode: compositional compilation for Java-like languages
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
POPL '05 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2005
ACM DL Author-ize
serviceRe-classification and multi-threading: FickleMT
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
SAC '04 Proceedings of the 2004 ACM symposium on Applied computing, 2004
ACM DL Author-ize serviceRank 2 intersection types for modules
Ferruccio Damiani
PPDP '03 Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, 2003
ACM DL Author-ize serviceRank 2 intersection types for local definitions and conditional expressions
Ferruccio Damiani
ACM Transactions on Programming Languages and Systems (TOPLAS), 2003