A calculus for boxes and traits in a Java-like setting L Bettini, F Damiani, M De Luca, K Geilmann, J Schäfer Coordination Models and Languages: 12th International Conference …, 2010 | 5 | 2010 |
A core calculus of higher-order mixins and classes L Bettini, V Bono, S Likavec Proceedings of the 2004 ACM symposium on Applied computing, 1508-1509, 2004 | 17 | 2004 |
A core calculus of mixin-based incomplete objects L Bettini, V Bono, S Likavec Procs. of FOOL Workshop, 29-41, 2004 | 19 | 2004 |
A core calculus of mixins and incomplete objects L Bettini, V Bono, S Likavec Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 5 | 2004 |
A DSL for writing type systems for Xtext languages L Bettini Proceedings of the 9th International Conference on Principles and Practice …, 2011 | 18 | 2011 |
A flexible and modular framework for implementing infrastructures for global computing L Bettini, R De Nicola, D Falassi, M Lacoste, M Loreti Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 …, 2005 | 14 | 2005 |
A Java 2 Network Class Loader. L Bettini, D Cappetta Dr. Dobb's Journal: Software Tools for the Professional Programmer 26 (2), 58-61, 2001 | 7 | 2001 |
A Java middleware for guaranteeing privacy of distributed tuple spaces L Bettini, R De Nicola International Workshop on Scientific Engineering of Distributed Java …, 2002 | 29 | 2002 |
A Java package for class and mixin mobility in a distributed setting L Bettini International Workshop on Scientific Engineering of Distributed Java …, 2003 | 8 | 2003 |
A Java package for transparent code mobility L Bettini International Workshop on Scientific Engineering of Distributed Java …, 2004 | 10 | 2004 |
A Java Testing Framework Without Reflection L Bettini Proceedings of the 18th International Conference on Software Technologies …, 2023 | | 2023 |
A mechanism for flexible dynamic trait replacement L Bettini, S Capecchi, F Damiani Proceedings of the 11th International Workshop on Formal Techniques for Java …, 2009 | 7 | 2009 |
A Middleware for Secure Distributed Tuple Spaces” L Bettini, R De Nicola | 1 | 2002 |
A Programming Language for Software Product Lines L Bettini, V Bono, F Damiani, I Schaefer | | |
A Programming Language with Records and Traits L Bettini, F Damiani, I Schaefer, F Strocco | | |
A prototypical Java-like language with records and traits L Bettini, F Damiani, I Schaefer, F Strocco Proceedings of the 8th International Conference on the Principles and …, 2010 | 11 | 2010 |
A safe implementation of dynamic overloading in Java-like languages L Bettini, S Capecchi, B Venneri Fundamentals of Software Engineering: Third IPM International Conference …, 2010 | 3 | 2010 |
A software framework for rapid prototyping of run-time systems for mobile calculi L Bettini, R De Nicola, D Falassi, M Lacoste, L Lopes, L Oliveira, ... Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005 | 13 | 2005 |
A trait based re-engineering technique for Java hierarchies L Bettini, V Bono, M Naddeo Proceedings of the 6th International Symposium on Principles and Practice of …, 2008 | 15 | 2008 |
A typed lambda calculus with intersection types V Bono, B Venneri, L Bettini Theoretical Computer Science 398 (1-3), 95-113, 2008 | 32 | 2008 |