BETTINI, LORENZO

BETTINI, LORENZO  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 98 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
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 [poster abstract] 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixins and incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
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 L. Bettini
A Java Package for Transparent Code Mobility 2005 Lorenzo Bettini
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 Lorenzo Bettini; Sara Capecchi; Betti 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 typed lambda calculus with intersection types 2008 V. BONO; B. VENNERI; L. BETTINI
Acm oops, object-oriented programming languages and systems, edizione 2008 2008 Lorenzo Bettini
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; Leonardo Cecchi; Pilu Crescenzi; Gaia Innocenti; Michele Loreti
An infrastructure language for open nets 2002 L. Bettini;M. Loreti;R. Pugliese
Approaches and Tools for Implementing Type Systems in Xtext 2013 L. Bettini;D. Stoll;M. Völter;S. Colameo
Artifact evaluation (summary) 2013 Alexandre Bergel;Lorenzo Bettini