| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Delegation by object composition.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani |
Compositional type-checking for delta-oriented programming. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Betti Venneri |
Object reuse and behavior adaptation in Java-like languages. |
PPPJ |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini |
A DSL for writing type systems for Xtext languages. |
PPPJ |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella |
Delta-Oriented Programming of Software Product Lines. |
SPLC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer |
A Calculus for Boxes and Traits in a Java-Like Setting. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer |
Implementing software product lines using traits. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
type system, software product line, feature model, trait, featherweight java |
| 1 | Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco |
A prototypical Java-like language with records and traits. |
PPPJ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Featherweight Java with dynamic and static overloading. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Dynamic overloading with copy semantics in object-oriented languages: a formal account. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Bergel, Lorenzo Bettini |
Reverse Generics - Parametrization after the Fact. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
A Safe Implementation of Dynamic Overloading in Java-Like Languages. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Erica Turin |
I-Java: An Extension of Java with Incomplete Objects and Object Composition. |
Software Composition |
2009 |
DBLP DOI BibTeX RDF |
Class-based languages, Java, Object-oriented programming, Language extension, Object composition |
| 1 | Viviana Bono, Betti Venneri, Lorenzo Bettini |
A typed lambda calculus with intersection types. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini |
Timed buffers: A technique for update propagation in nomadic environments. |
Computer Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Elena Giachino |
Featherweight Wrap Java: wrapping objects and methods. |
Journal of Object Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
Global Progress in Dynamically Interleaved Multiparty Sessions. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Object Incompleteness and Dynamic Composition in Java-Like Languages. |
TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Implementing Session Centered Calculi. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono |
Type safe dynamic object delegation in class-based languages. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
delegation, language extensions, object composition, featherweight Java |
| 1 | Lorenzo Bettini, Viviana Bono, Marco Naddeo |
A trait based re-engineering technique for Java hierarchies. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
Java, formal concept analysis, re-engineering, code reuse, trait |
| 1 | Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri |
Session and Union Types for Object Oriented Programming. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
Object Oriented Programming, Sessions, Union Types, Session Types |
| 1 | Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti |
Implementing a Distributed Mobile Calculus Using the IMC Framework. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Elena Giachino |
Featherweight wrap Java. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
delegation, wrappers, language extensions, featherweight Java |
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Featherweight Java with multi-methods. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
dynamic overloading, language extensions, multi-methods, featherweight Java |
| 1 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Implementing Mobile and Distributed Applications in X-Klaim. |
Scalable Computing: Practice and Experience |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Double dispatch in C++. |
Softw., Pract. Exper. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Betti Venneri, Viviana Bono |
MOMI: a calculus for mobile mixins. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
Safe and Flexible Objects with Subtyping. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Translating Double Dispatch into Single Dispatch. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini |
Data Privacy in Tuple Space Based Mobile Agent Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
Safe Object Composition in the Presence of Subtyping. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti |
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. |
DAIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
Safe and flexible objects. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
incomplete objects, types, language design, mixins |
| 1 | Lorenzo Bettini, Rocco De Nicola |
Mobile Distributed Programming in X-Klaim. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
network aware programming, verification, concurrency, mobile agents, programming languages, modal logics |
| 1 | Lorenzo Bettini |
A Java Package for Transparent Code Mobility. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
O'Klaim: A Coordination Language with Mobile Mixins. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
A core calculus of higher-order mixins and classes. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos |
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Subtyping-Inheritance Conflicts: The Mobile Mixin Case. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
A core calculus of mixins and incomplete objects. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
incomplete objects, types, language design, mixins |
| 1 | Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi |
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. |
ICALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Extending Java to dynamic object behaviors. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini |
A Java Package for Class and Mixin Mobility in a Distributed Setting. |
FIDJI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
A Core Calculus of Higher-Order Mixins and Classes. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri |
The Klaim Project: Theory and Practice. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese |
Klava: a Java package for distributed and mobile applications. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola |
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Coordinating Mobile Object-Oriented Code. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Formalizing Properties of Mobile Agent Systems. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
An infrastructure language for open nets. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
open nets, mobility, distributed applications, coordination languages |
| 1 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Software update via mobile agent based programming. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
distributed software update, mobile agents, mobile code |
| 1 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
Modelling Node Connectivity in Dynamically Evolving Networks. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese |
XKlaim and Klava: Programming Mobile Code. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Towards Object-Oriented Klaim. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola |
Translating Strong Mobility into Weak Mobility. |
Mobile Agents |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese |
Mobile Applications in X-KLAIM. |
WOA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
Structured Nets in KLAIM. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari |
Interactive Mobile Agents in X-Klaim. (PDF / PS) |
WETICE |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")