|
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 | |
| 2022 | |
| Castellani, Dezani-Ciancaglini and Giannini | "Asynchronous Sessions with Input Races" In proceedings. |
| 2021 | |
| Dagnino, Giannini and Dezani-Ciancaglini | "Deconfined Global Types for Asynchronous Sessions" In proceedings. |
| 2020 | |
| Castellani, Dezani-Ciancaglini, Giannini and Horne | "Global Types with Internal Delegation" Article. |
| Dezani-Ciancaglini, Giannini and Venneri | "Deconfined Intersection Types in Java" In proceedings. |
| 2019 | |
| Castellani, Dezani-Ciancaglini and Giannini | "Event Structure Semantics for Multiparty Sessions" In proceedings. |
| Castellani, Dezani-Ciancaglini and Giannini | "Reversible Sessions with Flexible Choices" Article. |
| Giannini, Servetto and Zucca | "A Syntactic Model of Mutation and Aliasing" In proceedings. |
| Giannini, Servetto, Zucca and Cone | "Flexible recovery of uniqueness and immutability" Article. |
| Giannini, Richter, Servetto and Zucca | "Tracing sharing in an imperative pure calculus" Article. |
| 2018 | |
| Bettini, Bono, Dezani-Ciancaglini, Giannini and Venneri | "Java Lambda: a Featherweight Story" Article. |
| Dezani-Ciancaglini, Giannini and Venneri | "Intersection Types in Java: back to the future" In proceedings. |
| Giannini, Servetto and Zucca | "A type and effect system for uniqueness and immutability" In proceedings. |
| Giannini, Servetto, Zucca and Cone | "Flexible recovery of uniqueness and immutability (Extended Version)" Article. |
| Giannini, Richter, Servetto and Zucca | "Tracing sharing in an imperative pure calculus (Extended Version)" Article. |
| 2017 | |
| Ancona, Giannini and Zucca | " Constrained polymorphic types for a calculus with name variables " In proceedings. |
| Ancona, Giannini and Zucca | "Type safe incremental rebinding" Article. |
| Castellani, Dezani-Ciancaglini and Giannini | "Concurrent Reversible Sessions" In proceedings. |
| Giannini and Shaqiri | "A Provably Correct Compilation of Functional Languages into Scripting Languages" Article. |
| Giannini, Servetto and Zucca | "A type and effect system for sharing" In proceedings. |
| Giannini, Servetto and Zucca | "Tracing sharing in an imperative pure calculus: extended abstract" 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. |
| Giannini, Servetto and Zucca | "Runtime Checks as Nominal Types" In proceedings. |
| Giannini, Servetto and Zucca | "Types for Immutability and Aliasing Control" 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 | "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: Fickle" 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: Fickle" 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. |
|
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)