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 

Paola Giannini
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2017
Ancona, Giannini and Zucca"Type safe incremental rebinding"
Article.
Giannini, Servetto and Zucca"A type and effect system for sharing"
In proceedings.

2016
Ancona, Giannini and Zucca"Incremental Rebinding with Name Polymorphism "
In proceedings.
Cazzola, Giannini and Shaqiri"Formal Attributes Traceability in Modular Language Development Frameworks "
In proceedings.
Dezani-Ciancaglini and Giannini"Reversible Multiparty Sessions with Checkpoints"
In proceedings.
Giannini, Servetto and Zucca"Coupling Catch Clauses with Local Declarations"
In proceedings.
Giannini, Lamprecht and Margaria"Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework"
In proceedings.
Giannini, Servetto and Zucca"Initialize-and-catch"
In proceedings.

2015
Compagnoni, Giannini and Kelley"A computational modeling language for complex laboratory experiments "
Article.
Giannini, Merelli and Troina"Interactions between Computer Science and Biology"
Article.

2014
Compagnoni, Giannini, Kim, Milideo and Sharma"A Calculus of Located Entities"
In proceedings.
Compagnoni, Giannini and Kelley"State-Sensitive Computational Modeling"
In proceedings.
Giannini and Shaqiri"A Provenly Correct Compilation of Functional Languages into Scripting Languages"
Technical report.
Giannini and Shaqiri"Compiling Functional to Scripting Languages"
Article.

2013
Ancona, Giannini and Zucca"Incremental Rebinding"
In proceedings.
Ancona, Giannini and Zucca"Reconciling positional and nominal binding"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Type Directed Semantics for the Calculus of Looping Sequences"
Article.
Giannini and Shaqiri"An intermediate language for compilation to scripting languages"
In proceedings.
Giannini and de Vink"The Third International Workshop on Interactions between Computer Science and Biology, CS2Bio 2012"
Article.

2012
Bioglio, Dezani-Ciancaglini, Giannini and Troina"A Calculus of Looping Sequences with Local Rules"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Typed Stochastic Semantics for the Calculus of Looping Sequences"
Article.
Compagnoni, Dezani-Ciancaglini, Giannini, Sauer, Sharma and Troina"Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions"
In proceedings.
Damiani, Giannini, Ricci and Viroli"Standard type soundness for agents and artifacts"
Article.
Giannini, Mantovani and Shaqiri"Leveraging dynamic typing through static typing"
In proceedings.

2011
Damiani, Giannini, Ricci and Viroli"A Calculus of Agents and Artifacts"
Article.
Dezani-Ciancaglini, Giannini and Zucca"Extending the lambda-calculus with unbind and rebind"
Article.
Dezani-Ciancaglini, Giannini and Zucca"Intersection Types for Unbind and Rebind"
In proceedings.
Giannini and Krivine"The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio 2011"
Article.
Sciacca, Spinella, Ienco and Giannini"Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins"
In proceedings.

2010
Spinella, Sciacca and Giannini"Sequence-Function Protein Analysis Using Annotated Context Free Grammars"
In proceedings.

2009
Damiani, Giannini, Ricci and Viroli"Featherweight Agent Language: a core calculus for agents and artifacts"
In proceedings: ICSOFT'09 (http://www.icsoft.org), INSTICC press.
Dezani-Ciancaglini, Giannini and Troina"A Type System for Required/Excluded Elements in CLS"
In proceedings.
Dezani-Ciancaglini, Giannini and Troina"A Type System for a Stochastic CLS"
In proceedings.
Dezani-Ciancaglini, Giannini and Ronchi Della Rocca"Intersection, Universally Quantified, and Reference Types"
In proceedings.
Dezani-Ciancaglini, Giannini and Zucca"The Essence of Static and Dynamic Bindings"
In proceedings.

2008
Damiani, Giachino, Giannini and Drossopoulou"A Type Safe State Abstraction for Coordination in Java-like Languages"
Article: Acta Informatica, Springer, 45:479-536 (DOI: 10.1007/s00236-008-0079-y).
Damiani, Giachino and Giannini"Alias Types and effects for ``environment-aware'' computations"
Article: Fundamenta Informaticae, IOS Press, 88(1-2), 63-107.
Damiani, Giachino, Giannini and Cazzola"On state classes and their dynamic semantics"
In a collection: Software and Data Technologies (First International Conference, ICSOFT 2006, Revised Selected Papers), Communications in Computer and Information Science, volume 10, pages 84-96, Springer (http://www.springer.com/computer/programming/book/978-3-540-70619-9).
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
In proceedings.
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
Article.

2007
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A provenly correct translation of Fickle into Java"
Article: ACM Transactions On Programming Languages and Systems, 29(2), Article No. 13 (67 pages).

2006
Damiani, Giachino, Giannini, Cameron and Drossopoulou"A State Abstraction for Coordination in Java-like Languages"
In proceedings: electronic proceedings of Workshop FTfJP'06 (http://www.cs.ru.nl/ftfjp/).
Damiani, Giachino, Giannini and Cazzola"On state classes and their dynamic semantics"
In proceedings: ICSOFT'06 (http://www.icsoft.org), Volume 1, pages 5-12, INSTICC press.
Giannini, Sangiorgi and Valente"Safe Ambients: Abstract Machine and Distributed Implementation"
Article.

2005
Anderson, Giannini and Drossopoulou"Towards Type Inference for JavaScript"
In proceedings.
Anderson and Giannini"Type Checking for JavaScript"
In proceedings.

2004
Damiani, Dezani-Ciancaglini and Giannini"On Re-classification and Multithreading"
Article: Journal of Objectc Technology (www.jot.fm), 3(11):5-30.
Damiani, Dezani-Ciancaglini and Giannini"Re-classification and Multithreading: FickleMT"
In proceedings: OOPS track at SAC'04, volume 2, pages 1297-1304, ACM.

2003
Damiani and Giannini"Alias types for ``environment-aware'' computations"
In proceedings: Workshop WOOD'03, ENTCS, volume 82.8, Elsevier.
Damiani, Drossopoulou and Giannini"Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)"
In proceedings: ICTCS'03, LNCS 2841, pages 97-110, Springer.

2002
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A type preserving translation of Fickle into Java "
In proceedings: Workshop TOSCA'01, ENTCS, volume 62, Elsevier.
Bono, Damiani and Giannini"A calculus for ``environment-aware'' computation"
In proceedings: Workshop F-WAN'02, ENTCS, volume 66.3, Elsevier.
Coppo, Damiani and Giannini"Strictness, totality, and non-standard type inference"
Article: Theoretical Computer Science, 272(1-2):69-112.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"More Dynamic Object Re-classification: FickleII"
Article: ACM Transactions On Programming Languages and Systems, 24(2):153-191.

2001
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"An effective translation of Fickle into Java (extended abstract)"
In proceedings: ICTCS'01, LNCS 2202, pages 215-234, Springer.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings: electronic proceedings of Workshop FOOL8 (http://www.cs.williams.edu/ kim/FOOL/).
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings: ECOOP'01, LNCS 2072, pages 130-149, Springer.

2000
Berardi, Coppo, Damiani and Giannini"Type-Based Useless-Code Elimination for Functional Programs"
In proceedings: Workshop SAIG'00, LNCS 1924, pages 172-189, Springer.
Damiani and Giannini"Automatic useless-code detection and elimination for HOT functional programs"
Article: Journal of Functional Programming, 10(6):509-559.

1999
Damiani, Dezani-Ciancaglini and Giannini"A Filter Model for Mobile Processes"
Article: Mathematical Structures in Computer Science, 9(1):63-101.

1998
Coppo, Damiani and Giannini"Inference based analysis of functional programs: dead-code and strictness"
In a collection: Theories of Types and Proofs, MSJ-Memoir, volume 2, pages 143-176, Mathematical Society of Japan.

1997
Coppo, Damiani and Giannini"On Strictness and Totality"
In proceedings: TACS'97, LNCS 1281, pages 138-164, Springer.
Damiani and Giannini"An Inference Algorithm for Strictness"
In proceedings: TLCA'97, LNCS 1210, pages 129-146, Springer.

1996
Coppo, Damiani and Giannini"Refinement Types for Program Analysis"
In proceedings: SAS'96, LNCS 1145, pages 143-158, Springer.
Giannini and Ricaldone"Multiple Inheritance and Class Composition"
Technical report.

1995
Coppo and Giannini"Principal Types and Unification For a Simple Intersection Type System "
Article.

1994
Damiani and Giannini"A Decidable Intersection Type System based on Relevance"
In proceedings: TACS'94, LNCS 789, pages 707-725, Springer.
Giannini and Ronchi Della Rocca"A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline"
Article.

1993
Giannini, Honsell and Ronchi Della Rocca"Type Inference: some results, some problems"
Article.

1992
Coppo and Giannini"A Complete Type Inference Algorithm for Simple Intersection Types"
In proceedings.

1991
Giannini and Ronchi Della Rocca"Type Inference in Polymorphic Type Discipline"
In proceedings.

1990
Nestor, Newcomer, Giannini and Stone"IDL, The Language and its Implementation"
Book.

1988
Giannini and Ronchi Della Rocca"Characterization of Typings in Polymorphic Type Discipline"
In proceedings.

1984
Giannini and Longo"Effectively Given Domains and Lamba-Calculus Models"
Article.

Not dated
Giannini, Servetto and Zucca"Runtime Checks as Nominal Types"
In proceedings.
Giannini, Servetto and Zucca"Types for Immutability and Aliasing Control"
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!