Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 
Lorenzo Bettini
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2018
Bettini, Bono, Dezani-Ciancaglini, Giannini and Venneri"Java & Lambda: a Featherweight Story"
Article.

2015
Bettini, Damiani and Schaefer"Implementing type-safe software product lines using parametric traits"
Article.
Bettini and Crescenzi"Java-- Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach"
In proceedings.

2014
Bettini"Developing User Interfaces with EMF Parsley"
In proceedings.
Bettini and Damiani"Generic Traits for the Java Platform"
In proceedings.
Koscielny, Holthusen, Schaefer, Schulze, Bettini and Damiani"DeltaJ 1.5: Delta-oriented Programming for Java 1.5"
In proceedings.

2013
Bergel and Bettini"Artifact evaluation (summary)"
In proceedings.
Bergel and Bettini"Generic Programming in Pharo"
In a collection.
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri" Deriving Session and Union Types for Objects "
Article.
Bettini, Damiani, Geilmann and Schaefer"Combining traits with boxes and ownership types in a Java-like setting"
Article.
Bettini, Damiani and Schaefer"Compositional type checking of delta-oriented software product lines"
Article.
Bettini"Implementing Domain-Specific Languages with Xtext and Xtend"
Book.
Bettini"Implementing Java-like languages in Xtext with Xsemantics"
In proceedings.
Bettini, Capecchi and Damiani"On flexible dynamic trait replacement for Java-like languages"
Article.
Bettini, Caselli and Guidieri"Parsley for your EMF Applications"
In proceedings.
Bettini and Damiani"Pure Trait-based Programming on the Java Platform"
In proceedings.
Bettini, Damiani, Schaefer and Strocco"TraitRecordJ: A programming language with traits and records "
Article.

2012
Bergel and Bettini"Generics and Reverse Generics for Pharo"
In proceedings.
Bettini, Stoll, Völter and Colameo"Approaches and Tools for Implementing Type Systems in Xtext"
In proceedings.
Bettini"EMF Components - Filling the Gap between Models and UI"
In proceedings.
Schaefer, Rabiser, Clarke, Bettini, Benavides, Botterweck, Pathak, Trujillo and Villela"Software diversity: state of the art and perspectives"
Article.

2011
Bergel and Bettini"Reverse Generics - Parametrization after the Fact"
In proceedings.
Bettini"A DSL for Writing Type Systems for Xtext Languages"
In proceedings.
Bettini, Bono and Venneri"Delegation by object composition"
Article.
Bettini, Caselli and Guidieri"Extending the BPEL Designer with Xtext based editors"
In proceedings.
Bettini and Venneri"Object Reuse and Behavior Adaptation in Java-like Languages"
In proceedings.
Schaefer, Bettini and Damiani"Compositional Type-Checking for Delta-oriented Programming"
In proceedings.

2010
Bettini, Damiani, De Luca, Geilmann and Schaefer"A Calculus for Boxes and Traits in a Java-like Setting"
In proceedings: Coordination'10, LNCS 6160, pages 41-50, Springer.
Bettini, Damiani, Schaefer and Strocco"A Prototypical Java-like Language with Records and Traits"
In proceedings.
Bettini"An Eclipse-based IDE for Featherweight Java implemented in Xtext"
In proceedings.
Bettini, Damiani and Schaefer"Implementing Software Product Lines using Traits"
In proceedings: OOPS track at SAC'10, pages 2096-2112, ACM.
Schaefer, Bettini, Bono, Damiani and Tanzarella"Delta-Oriented Programming of Software Product Lines"
In proceedings.

2009
Bettini, Capecchi and Damiani"A Mechanisms for Flexible Dynamic Trait Replacement"
In proceedings: electronic proceedings of Workshop FTfJP'09 (http://www.cs.ru.nl/ftfjp/), ACM Digital Library (http://portal.acm.org/toc.cfm?id=SERIES12774&idx=SERIES12774&type=series&coll=portal&dl=ACM&part=series&WantType=Proceedings&title=ECOOP).
Bettini, Capecchi and Venneri"A safe implementation of dynamic overloading in Java-like languages"
In proceedings.
Bettini, Capecchi and Venneri"Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account"
Article.
Bettini, Capecchi and Venneri"Featherweight Java with Dynamic and StaticOverloading "
Article.
Bettini, Bono and Turin"I-Java: an extension of Java with incomplete objects and object composition"
In proceedings.

2008
Bettini, Bono and Naddeo"A Trait Based Re-engineering Technique for Java Hierarchies"
In proceedings.
Bettini, Bono and Venneri"A typed lambda calculus with intersection types"
Article.
Bettini, Capecchi and Giachino"Featherweight Wrap Java: wrapping objects and methods"
Article.
Bettini, Coppo, D'Antoni, De Luca, Dezani-Ciancaglini and Yoshida"Global Progress in Dynamically Interleaved Multiparty Sessions"
In proceedings.
Bettini, De Nicola and Loreti"Implementing Session Centered Calculi"
In proceedings.
Bettini, Bono and Venneri"Object incompleteness and dynamic composition in Java-like languages"
In proceedings.
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri"Session and Union Types for Object Oriented Programming"
In proceedings.
Bettini"Timed Buffers: A Technique For Update Propagation In Nomadic Environments"
Article.
Bettini and Bono"Type Safe Dynamic Object Delegation in Class-based Languages"
In proceedings.

2007
Bettini, Capecchi and Venneri"Featherweight Java with Multi-Methods"
In proceedings.
Bettini, Capecchi and Giachino"Featherweight Wrap Java"
In proceedings.

2006
Bettini, Capecchi and Venneri"Double Dispatch in C++"
Article.
Bettini, De Nicola and Loreti"Implementing Mobile and Distributed Applications in X-Klaim"
Article.
Bettini, Nicola, Falassi and Loreti"Implementing a distributed mobile calculus using the IMC framework"
In proceedings.

2005
Bettini, De Nicola, Falassi, Lacoste and Loreti"A Flexible and Modular Framework for Implementing Infrastructures for Global Computing"
In proceedings.
Bettini, Bono and Venneri"MoMi - A Calculus for Mobile Mixins"
Article.
Bettini and De Nicola"Mobile Distributed Programming in X-Klaim"
In proceedings.
Bettini, Bono and Likavec"Safe and Flexible Objects"
In proceedings.
Bettini, Bono and Likavec"Safe and Flexible Objects with Subtyping"
Article.
Bettini, Bono and Likavec"Safe object composition in the presence of subtyping"
In proceedings.
Bettini, Capecchi and Venneri"Translating Double-Dispatch into Single-Dispatch"
In proceedings.

2004
Bettini, Bono and Likavec"A Core Calculus of Higher-Order Mixins and Classes"
In proceedings.
Bettini, Bono and Likavec"A Core Calculus of Higher-Order Mixins and Classes [Poster Abstract]"
In proceedings.
Bettini, Bono and Likavec"A Core Calculus of Mixin-Based Incomplete Objects"
In proceedings.
Bettini, Bono and Likavec"A Core Calculus of Mixins and Incomplete Objects"
In proceedings.
Bettini"A Java Package for Transparent Code Mobility"
In proceedings.
Bettini, De Nicola, Falassi, Lacoste, Lopes, Oliveira, Paulino and Vasconcelos"A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi"
In proceedings.
Bettini, Cecchi, Crescenzi, Innocenti and Loreti"An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses"
In proceedings.
Bettini"Data Privacy in Tuple Space Based Mobile Agent Systems"
In proceedings.
Bettini, De Nicola and Loreti"Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming"
Article.
Bettini, Bono and Venneri"O'Klaim: a coordination language with mobile mixins"
In proceedings.
Bettini, Bono and Venneri"Subtyping-Inheritance Conflicts: The Mobile Mixin Case"
In proceedings.

2003
Bettini and De Nicola"A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces"
In proceedings.
Bettini"A Java package for class and mixin mobility in a distributed setting"
In proceedings.
Bettini, Capecchi and Venneri"Extending Java to dynamic object behaviors"
In proceedings.
Bettini"Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations"
PhD thesis.
Bettini, Loreti and Venneri"On Multiple Inheritance in Java"
In proceedings.
Bettini, Bono and Venneri"Subtyping Mobile Classes and Mixins"
In proceedings.
Bettini, Bono, Nicola, Ferrari, Gorla, Loreti, Moggi, Pugliese, Tuosto and Venneri"The Klaim Project: Theory and Practice"
In proceedings.

2002
Bettini, Loreti and Pugliese"An Infrastructure Language for Open Nets"
In proceedings.
Bettini, Bono and Venneri"Coordinating Mobile Object-Oriented Code"
In proceedings.
Bettini, De Nicola and Loreti"Formalizing Properties of Mobile Agent Systems"
In proceedings.
Bettini, De Nicola and Pugliese"Klava: a Java Package for Distributed and Mobile Applications"
Article.
Bettini, De Nicola and Loreti"Software Update via Mobile Agent Based Programming"
In proceedings.
Bettini, Bono and Venneri"Towards Object-Oriented Klaim"
In proceedings.

2001
Bettini, Loreti and Pugliese"Modelling Node Connectivity in Dynamically Evolving Networks"
In proceedings.
Bettini and De Nicola"Translating Strong Mobility into Weak Mobility"
In proceedings.
Bettini, De Nicola and Pugliese"X-Klaim and Klava: Programming Mobile Code"
In proceedings.

2000
Bettini, De Nicola, Ferrari and Pugliese"Mobile Applications in X-KLAIM"
In proceedings.
Bettini, Loreti and Pugliese"Structured Nets in Klaim"
In proceedings.

1998
Bettini, De Nicola, Ferrari and Pugliese"Interactive Mobile Agents in X-Klaim"
In proceedings.
 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!