Ferruccio Damiani

Johan Dovland

Einar Broch Johnsen

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Compositional type-checking for delta-oriented programming.

[BibT_eX]

[DOI]

Lorenzo Bettini

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

2010

Hybrid Calculus of Wrapped Compartments

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Stochastic Calculus of Wrapped Compartments

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 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]

Lorenzo Bettini

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

Pure delta-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?

[BibT_eX]

[DOI]

Proceedings of the Formal Verification of Object-Oriented Software, 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

Modelling an Ammonium Transporter with SCLS.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

A Calculus of Agents and Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - 4th International Conference, 2009

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.

[BibT_eX]

Proceedings of the ICSOFT 2009, 2009

A mechanism for flexible dynamic trait replacement.

[BibT_eX]

[DOI]

Lorenzo Bettini

Sara Capecchi

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

2008

Alias Types and Effects for "Environment-aware" Computations.

[BibT_eX]

[DOI]

Elena Giachino

Fundam. Informaticae, 2008

A type safe state abstraction for coordination in Java -like languages.

[BibT_eX]

[DOI]

Acta Informatica, 2008

On Polymorphic Recursion, Type Systems, and Abstract Interpretation.

[BibT_eX]

[DOI]

Marco Comini

Samuel Vrech

Proceedings of the Static Analysis, 15th International Symposium, 2008

On Traits and Types in a Java-like Setting.

[BibT_eX]

[DOI]

Viviana Bono

Elena Giachino

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

A provenly correct translation of Fickle into Java.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Rank 2 Intersection for Recursive Definitions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

2006

On State Classes and Their Dynamic Semantics.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - First International Conference, 2006

2005

Rank-2 Intersection and Polymorphic Recursion.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Polymorphic bytecode: compositional compilation for Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

On Re-classification and Multi-threading.

[BibT_eX]

[DOI]

J. Object Technol., 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

Re-classification and multi-threading: FickleMT.

[BibT_eX]

[DOI]

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

2003

Rank 2 intersection types for local definitions and conditional expressions.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2003

A Conjunctive Type System for Useless-Code Elimination.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2003

Alias types for "environment-aware" computations.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Object Oriented Developments, 2003

Rank 2 intersection types for modules.

[BibT_eX]

[DOI]

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Refined Effects for Unanticipated Object Re-classification: Fickle3.

[BibT_eX]

[DOI]

Sophia Drossopoulou

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002

More dynamic object reclassification: Fickle||

[BibT_eX]

[DOI]

Sophia Drossopoulou

ACM Trans. Program. Lang. Syst., 2002

Strictness, totality, and non-standard-type inference.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A Calculus for "Environment-Aware" Computation.

[BibT_eX]

[DOI]

Viviana Bono

Proceedings of the Foundations of Wide Area Network Computing, 2002

2001

A type preserving translation of Fickle into Java.

[BibT_eX]

[DOI]

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

An Effective Translation of Fickle into Java.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Fickle : Dynamic Object Re-classification.

[BibT_eX]

[DOI]

Sophia Drossopoulou

Proceedings of the ECOOP 2001, 2001

2000

Automatic useless-code elimination for HOT functional programs.

[BibT_eX]

[DOI]

J. Funct. Program., 2000

Type-Based Useless-Code Elimination for Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2000

Conjunctive Types and Useless-code Elimination.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

A filter model for mobile processes.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1999

Useless-Code Detection and Elimination for PCF with Algebraic Data types.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1997

An Inference Algorithm for Strictness.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1997

On Strictness and Totality.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Detecting and Removing Dead-Code using Rank 2 Intersection.

[BibT_eX]

[DOI]

Frédéric Prost

Proceedings of the Types for Proofs and Programs, 1996

Refinement Types for Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

1994

A Decidable Intersection Type System based on Relevance.

[BibT_eX]

[DOI]