Lorenzo Bettini

Proceedings of the MODELSWARD 2016, 2016

2015

Implementing type-safe software product lines using parametric traits.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

An Eclipse IDE for Teaching Java-.

[BibT_eX]

[DOI]

Pierluigi Crescenzi

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Java--Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach.

[BibT_eX]

[DOI]

Pierluigi Crescenzi

Proceedings of the ICSOFT-PT 2015, 2015

2014

DeltaJ 1.5: delta-oriented programming for Java 1.5.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-PT 2014, 2014

2013

TraitRecordJ: A programming language with traits and records.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Combining traits with boxes and ownership types in a Java-like setting.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

On flexible dynamic trait replacement for Java-like languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Deriving session and union types for objects.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Math. Struct. Comput. Sci., 2013

Compositional type checking of delta-oriented software product lines.

[BibT_eX]

[DOI]

Acta Informatica, 2013

Artifact evaluation (summary).

[BibT_eX]

[DOI]

Alexandre Bergel

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.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Pure trait-based programming on the Java platform.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Approaches and Tools for Implementing Type Systems in Xtext.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, 5th International Conference, 2012

EMF Components - Filling the Gap between Models and UI.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alexandre Bergel

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Delegation by object composition.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Object reuse and behavior adaptation in Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

A DSL for writing type systems for Xtext languages.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

Compositional type-checking for delta-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Delta-Oriented Programming of Software Product Lines.

[BibT_eX]

[DOI]

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

Implementing software product lines using traits.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A prototypical Java-like language with records and traits.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

Featherweight Java with dynamic and static overloading.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

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

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2009

I-Java: An Extension of Java with Incomplete Objects and Object Composition.

[BibT_eX]

[DOI]

Erica Turin

Proceedings of the Software Composition - 8th International Conference, 2009

Reverse Generics - Parametrization after the Fact.

[BibT_eX]

Alexandre Bergel

Proceedings of the ICSOFT 2009, 2009

A Safe Implementation of Dynamic Overloading in Java-Like Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

A mechanism for flexible dynamic trait replacement.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008

A typed lambda calculus with intersection types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Featherweight Wrap Java: wrapping objects and methods.

[BibT_eX]

[DOI]

J. Object Technol., 2008

Timed buffers: A technique for update propagation in nomadic environments.

[BibT_eX]

[DOI]

Comput. Commun., 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages.

[BibT_eX]

[DOI]

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

A trait based re-engineering technique for Java hierarchies.

[BibT_eX]

[DOI]

Marco Naddeo

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Type safe dynamic object delegation in class-based languages.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Implementing Session Centered Calculi.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.

[BibT_eX]

[DOI]

Nobuko Yoshida

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Session and Union Types for Object Oriented Programming.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Proceedings of the Concurrency, 2008

2007

Featherweight wrap Java.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Featherweight Java with multi-methods.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2006

Double dispatch in C++.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2006

Implementing Mobile and Distributed Applications in X-Klaim.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2006

Implementing a Distributed Mobile Calculus Using the IMC Framework.

[BibT_eX]

[DOI]

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

2005

Safe and Flexible Objects with Subtyping.

[BibT_eX]

[DOI]

J. Object Technol., 2005

MOMI: a calculus for mobile mixins.

[BibT_eX]

[DOI]

Acta Informatica, 2005

Mobile Distributed Programming in X-Klaim.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Mobile Computing, 2005

Safe and flexible objects.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Safe Object Composition in the Presence of Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2005

2004

Translating Double Dispatch into Single Dispatch.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Object Oriented Developments, 2004

Data Privacy in Tuple Space Based Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2004

A core calculus of higher-order mixins and classes.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A core calculus of mixins and incomplete objects.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Subtyping-Inheritance Conflicts: The Mobile Mixin Case.

[BibT_eX]

[DOI]

Vasco Thudichum Vasconcelos

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

A Java Package for Transparent Code Mobility.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

O'Klaim: A Coordination Language with Mobile Mixins.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Extending Java to dynamic object behaviors.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Object Oriented Developments, 2003

The Klaim Project: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

A Java Package for Class and Mixin Mobility in a Distributed Setting.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

2002

Klava: a Java package for distributed and mobile applications.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2002

Software update via mobile agent based programming.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

An infrastructure language for open nets.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

Formalizing Properties of Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Coordinating Mobile Object-Oriented Code.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

XKlaim and Klava: Programming Mobile Code.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Modelling Node Connectivity in Dynamically Evolving Networks.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

Towards Object-Oriented Klaim.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Translating Strong Mobility into Weak Mobility.

[BibT_eX]

[DOI]

Proceedings of the Mobile Agents, 5th International Conference, 2001

2000

Mobile Applications in X-KLAIM.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

1998

Interactive Mobile Agents in X-Klaim.

[BibT_eX]

[DOI]