BETTINI, LORENZO
BETTINI, LORENZO
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
A Calculus for Boxes and Traits in a Java-Like Setting
2010 Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
A core calculus of higher-order mixins and classes
2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes (extended abstract)
2004 Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia
A core calculus of mixins and incomplete objects
2004 Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia
A DSL for Writing Type Systems for Xtext Languages
2011 Lorenzo Bettini
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
2003 L. Bettini; R. D. Nicola
A Java Package for Class and Mixin Mobility in a Distributed Setting
2004 Bettini, Lorenzo
A Java Package for Transparent Code Mobility
2005 Lorenzo Bettini
A Java Testing Framework Without Reflection
2023 Bettini, Lorenzo
A Mechanisms for Flexible Dynamic Trait Replacement
2009 Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
A Prototypical Java-like Language with Records and Traits
2010 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
A safe implementation of dynamic overloading in Java-like languages
2010 L. Bettini; S. Capecchi; B. Venneri
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
2004 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Luís Lopes; Licínio Oliveira; Hervé Paulino; Vasco T. Vasconcelos
A trait based re-engineering technique for Java hierarchies
2008 Bettini, Lorenzo; Bono, Viviana; Naddeo, Marco
A Typed Lambda Calculus with Intersection Types
2008 Bono, V.; Venneri, B.; Bettini, L.
Addressing the trade off between smells and quality when refactoring class diagrams
2021 Barriga A.; Bettini L.; Iovino L.; Rutle A.; Heldal R.
An Eclipse IDE for Teaching Java--
2016 Bettini, Lorenzo; Crescenzi, Pierluigi
An Eclipse-based IDE for Featherweight Java implemented in Xtext
2010 Lorenzo Bettini
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
2004 LORENZO BETTINI; PILU CRESCENZI; GAIA INNOCENTI; M. LORETI; LEONARDO CECCHI