BETTINI, LORENZO
BETTINI, LORENZO
INFORMATICA
A Calculus for Boxes and Traits in a Java-Like Setting
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
A core calculus of higher-order mixins and classes
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes [poster abstract]
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixins and incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A DSL for Writing Type Systems for Xtext Languages
2011-01-01 Lorenzo Bettini
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005-01-01 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti
A java middleware for guaranteeing privacy of distributed tuple spaces
2003-01-01 L. Bettini;R. D. Nicola
A Java Package for Class and Mixin Mobility in a Distributed Setting
2004-01-01 L. Bettini
A Java Package for Transparent Code Mobility
2005-01-01 Lorenzo Bettini
A Mechanisms for Flexible Dynamic Trait Replacement
2009-01-01 Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
A Prototypical Java-like Language with Records and Traits
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
A safe implementation of dynamic overloading in Java-like languages
2010-01-01 Lorenzo Bettini; Sara Capecchi; Betti Venneri
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
2004-01-01 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Luís Lopes; Licínio Oliveira; Hervé Paulino; Vasco T. Vasconcelos
A typed lambda calculus with intersection types
2008-01-01 V. BONO; B. VENNERI; L. BETTINI
Acm oops, object-oriented programming languages and systems, edizione 2008
2008-01-01 Lorenzo Bettini
An Eclipse-based IDE for Featherweight Java implemented in Xtext
2010-01-01 Lorenzo Bettini
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
2004-01-01 Lorenzo Bettini; Leonardo Cecchi; Pilu Crescenzi; Gaia Innocenti; Michele Loreti
An infrastructure language for open nets
2002-01-01 L. Bettini;M. Loreti;R. Pugliese
Approaches and Tools for Implementing Type Systems in Xtext
2013-01-01 L. Bettini;D. Stoll;M. Völter;S. Colameo