Lorenzo Bettini

According to our database1, Lorenzo Bettini authored at least 87 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Java & Lambda: a Featherweight Story.
Logical Methods in Computer Science, 2018

Java & Lambda: a Featherweight Story.
CoRR, 2018

2017
Xtraitj: Traits for the Java platform.
Journal of Systems and Software, 2017

Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016
Implementing type systems for the IDE with Xsemantics.
J. Log. Algebr. Meth. Program., 2016

Jbase: embedding Java expressions in Xtext DSLs.
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

The EMF Parsley DSL for Developing EMF Applications.
Proceedings of the MODELSWARD 2016, 2016

2015
Implementing type-safe software product lines using parametric traits.
Sci. Comput. Program., 2015

An Eclipse IDE for Teaching Java-.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Java--Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach.
Proceedings of the ICSOFT-PT 2015, 2015

2014
DeltaJ 1.5: delta-oriented programming for Java 1.5.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Generic traits for the Java platform.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Developing User Interfaces with EMF Parsley.
Proceedings of the ICSOFT-PT 2014, 2014

2013
TraitRecordJ: A programming language with traits and records.
Sci. Comput. Program., 2013

Combining traits with boxes and ownership types in a Java-like setting.
Sci. Comput. Program., 2013

On flexible dynamic trait replacement for Java-like languages.
Sci. Comput. Program., 2013

Deriving session and union types for objects.
Mathematical Structures in Computer Science, 2013

Compositional type checking of delta-oriented software product lines.
Acta Inf., 2013

Artifact evaluation (summary).
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Implementing Java-like languages in Xtext with Xsemantics.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Pure trait-based programming on the Java platform.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

2012
Software diversity: state of the art and perspectives.
STTT, 2012

Approaches and Tools for Implementing Type Systems in Xtext.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

EMF Components - Filling the Gap between Models and UI.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Generics and Reverse Generics for Pharo.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011
Delegation by object composition.
Sci. Comput. Program., 2011

Object reuse and behavior adaptation in Java-like languages.
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

A DSL for writing type systems for Xtext languages.
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

Compositional type-checking for delta-oriented programming.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Delta-Oriented Programming of Software Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Implementing software product lines using traits.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A prototypical Java-like language with records and traits.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

A Calculus for Boxes and Traits in a Java-Like Setting.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009
Featherweight Java with dynamic and static overloading.
Sci. Comput. Program., 2009

Dynamic overloading with copy semantics in object-oriented languages: a formal account.
ITA, 2009

I-Java: An Extension of Java with Incomplete Objects and Object Composition.
Proceedings of the Software Composition, 8th International Conference, SC 2009, Zurich, 2009

Reverse Generics: Parametrization after the Fact.
Proceedings of the Software and Data Technologies - 4th International Conference, 2009

Reverse Generics - Parametrization after the Fact.
Proceedings of the ICSOFT 2009, 2009

A Safe Implementation of Dynamic Overloading in Java-Like Languages.
Proceedings of the Fundamentals of Software Engineering, 2009

A mechanism for flexible dynamic trait replacement.
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008
A typed lambda calculus with intersection types.
Theor. Comput. Sci., 2008

Featherweight Wrap Java: wrapping objects and methods.
Journal of Object Technology, 2008

Timed buffers: A technique for update propagation in nomadic environments.
Computer Communications, 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

A trait based re-engineering technique for Java hierarchies.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Type safe dynamic object delegation in class-based languages.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Implementing Session Centered Calculi.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Session and Union Types for Object Oriented Programming.
Proceedings of the Concurrency, 2008

2007
Implementing a Distributed Mobile Calculus Using the IMC Framework.
Electr. Notes Theor. Comput. Sci., 2007

Featherweight wrap Java.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Featherweight Java with multi-methods.
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2006
Double dispatch in C++.
Softw., Pract. Exper., 2006

Implementing Mobile and Distributed Applications in X-Klaim.
Scalable Computing: Practice and Experience, 2006

2005
Safe and Flexible Objects with Subtyping.
Journal of Object Technology, 2005

Translating Double Dispatch into Single Dispatch.
Electr. Notes Theor. Comput. Sci., 2005

Data Privacy in Tuple Space Based Mobile Agent Systems.
Electr. Notes Theor. Comput. Sci., 2005

MOMI: a calculus for mobile mixins.
Acta Inf., 2005

Mobile Distributed Programming in X-Klaim.
Proceedings of the Formal Methods for Mobile Computing, 2005

Safe and flexible objects.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Safe Object Composition in the Presence of Subtyping.
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing.
Proceedings of the Distributed Applications and Interoperable Systems, 2005

2004
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.
Autom. Softw. Eng., 2004

A core calculus of higher-order mixins and classes.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A core calculus of mixins and incomplete objects.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Subtyping-Inheritance Conflicts: The Mobile Mixin Case.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses.
Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

A Java Package for Transparent Code Mobility.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

O'Klaim: A Coordination Language with Mobile Mixins.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Extending Java to dynamic object behaviors.
Electr. Notes Theor. Comput. Sci., 2003

A Core Calculus of Higher-Order Mixins and Classes.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

The Klaim Project: Theory and Practice.
Proceedings of the Global Computing. Programming Environments, 2003

A Java Package for Class and Mixin Mobility in a Distributed Setting.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

2002
Klava: a Java package for distributed and mobile applications.
Softw., Pract. Exper., 2002

Software update via mobile agent based programming.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

An infrastructure language for open nets.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

Formalizing Properties of Mobile Agent Systems.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Coordinating Mobile Object-Oriented Code.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
XKlaim and Klava: Programming Mobile Code.
Electr. Notes Theor. Comput. Sci., 2001

Modelling Node Connectivity in Dynamically Evolving Networks.
Electr. Notes Theor. Comput. Sci., 2001

Towards Object-Oriented Klaim.
Electr. Notes Theor. Comput. Sci., 2001

Translating Strong Mobility into Weak Mobility.
Proceedings of the Mobile Agents, 5th International Conference, 2001

2000
Mobile Applications in X-KLAIM.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Structured Nets in KLAIM.
Proceedings of the Applied Computing 2000, 2000

1998
Interactive Mobile Agents in X-Klaim.
Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998


  Loading...