DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Research Report Year 2004 - 2005

Area 1: Computer Science

Semantics and Logics of Computation

  People   Research Activities   Publications   Software Products   Research Grants

Types For Higher-Order, Concurrent And Object Oriented Processes

- People

Last and first name Position Email
Mariangiola Dezani-Ciancaglini Full Professor mariangiola.dezani[at]di.unito.it
Elio Giovannetti Associate Professor elio.giovannetti[at]di.unito.it
Ines Margaria Associate Professor ines.margaria[at]di.unito.it
Viviana Bono Researcher until 31 Dicember 2004, Associate
Professor from 1 January 2005)
viviana.bono[at]di.unito.it
Silvia Likavec Ph.D. Student silvia.likavec[at]di.unito.it

- Research Activities

Aim of this group is the study of type systems for functional, concurrent, and object-oriented languages. The theoretical basis is the Curry type assignment system for pure lambda-calculus and its extensions. The activity in 2004-2005 mainly focused on:

  • types for Java-like languages, mobile objects and mixins;
  • intersection types for lambda calculi;
  • types for ambient calculi.

  • Types for Java-like languages, mobile objects and mixins.
    [6] and [7] consider re-classification in the presence of multi-threading.
    [10] presents a mobile object-oriented calculus for a distributed, tuple-oriented setting.
    [11] and [14] illustrate a calculus of incomplete objects, where class-based and object-based features are combined.
    [12] and [13] study higher-order mixins, where mixin application and mixin composition are both present. [15] is about the decidability of a type inference system for an object-based calculus.
    [16] combines mixin-based inheritance with subtyping and study and solve some of the related conflicts.
    [25] proposes a simple distributed object-oriented language augmented by session communication primitives.

    Intersection types for lambda calculi.
    [1] presents various conditions on intersection type theories in order to characterize the induced filter models for the lambda-calculus.
    [2] studies the relation between natural intersection type preorders and natural lambda-structures.
    [3] builds a lambda-model in which the interpretation of an arbitrary simple easy term is any filter which can be described by a continuous predicate.
    [8] construct two inverse limit lambda-models which completely characterise sets of terms with similar computational behaviours.
    [9] studies intersection types for calculi of explicit substitutions.
    [18] uses intersection types for building models of a lambda-calculus enriched with recursive terms.
    [26] discusses compositional characterization of lambda-terms using intersection types.
    [27] studies strong normalization of the dual classical sequent calculus.

    Types for ambient calculi.
    [4] defines an ambient calculus allowing a liberal communication policy.
    [5] and [17] present an ambient calculus with both static and dynamic types.
    [23] introduces an ambient calculus that exploits co-moves and runtime type checking to implement flexible policies for controlling process activities.

    - Publications

    [1] Alessi Fabio, Barbanera Franco, Dezani Mariangiola. Tailoring filter models. Proceedings of TYPES'04, Lectures Notes in Computer Science (LNCS). In Stefano Berardi, Mario Coppo, Ferruccio Damiani ed(s), volume 3085, pp. 17--33. Springer, ISBN 3-540-22164-6, 2004.
    [2] Alessi Fabio, Dezani Mariangiola, Honsell Furio. Inverse limit models as filter models. Articolo in atti di conferenza. HOR'04, pp. 3--25, ISSN 0935-3232, 2004.
    [3] Alessi Fabio, Dezani Mariangiola, Lusin Stefania. Intersection types and domain operators. Theoretical Computer Science, 316(1-3):25--47, 2004.
    [4] Bonelli Eduardo, Compagnoni Adriana, Dezani Mariangiola, Garralda Pablo. Boxed ambients with communication interfaces. Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS'04), Lectures Notes in Computer Science (LNCS). In Jirí Fiala, Václav Koubek, Jan Kratochvíl ed(s), volume 3153, pp. 119--148. Springer, ISBN 3-540-22823-3, 2004.
    [5] Coppo Mario, Dezani Mariangiola, Giovannetti Elio, Pugliese Rosario. Dynamic and Local Typing for Mobile Ambients. Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS'04). In Jean-Jacques Lèvy, Ernst W. Mayr, John C. Mitchell ed(s), pp. 583--596. Kluwer, ISBN 1-4020-8140-5, 2004.
    [6] Damiani Ferruccio, Dezani Mariangiola, Giannini Paola. On re-classification and multithreading. Journal of Object Technology, 3(11):5--30. ISSN 1660 1769, 2004.
    [7] Damiani Ferruccio, Dezani Mariangiola, Giannini Paola. Re-classification and multithreading: FickleMT. Articolo in atti di conferenza. ACM Symposium on Applied Computing (SAC'04) (OOPS track). In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock ed(s), volume/numero 2, pp. 1297--1304. ACM, ISBN 1-58113-812-1, 2004.
    [8] Dezani Mariangiola, Ghilezan Silvia, Likavec Silvia. Behavioural inverse limit models. Theoretical Computer Science, 316(1-3):49--74, 2004.
    [9] Dezani Mariangiola, Dougherty Dan, Lengrand Stephane, Lescanne Pierre, van Bakel Steffen. Intersection types for explicit substitutions. Information and Computation, 189(1):17--42, 2004.
    [10] Bettini Lorenzo, Bono Viviana, Venneri Betti. O'Klaim: a coordination language with mobile mixins. Proceedings of the 6th International Conference on Coordination Models and Languages (COORDINATION'04), Lectures Notes in Computer Science (LNCS). In Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith ed(s), volume 2949, pp. 20--37. Springer, ISBN 3-540-21044-X, 2004.
    [11] Bettini Lorenzo, Bono Viviana, Likavec Silvia. A core calculus of mixin-based incomplete objects. FOOL 11, 2004.
    [12] Bettini Lorenzo, Bono Viviana, Likavec Silvia. A core calculus of higher-order mixins and classes. Post-Proceedings of TYPES 2003, Lectures Notes in Computer Science (LNCS). In Stefano Berardi, Mario Coppo, Ferruccio Damiani ed(s), volume 3085, pp. 83--97. Springer, ISBN 3-540-22164-6, 2004.
    [13] Bettini Lorenzo, Bono Viviana, Likavec Silvia. A core calculus of higher-order mixins and classes [poster abstract]. Articolo in atti di conferenza. ACM Symposium on Applied Computing (SAC'04). In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock ed(s), pp. 1508--1509. ACM, ISBN 1-58113-812-1, 2004.
    [14] Bettini Lorenzo, Bono Viviana, Likavec Silvia. A core calculus of mixins and incomplete objects. Articolo in atti di conferenza. 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), Companion volume. In John M. Vlissides, Douglas C. Schmidt ed(s), pp. 208--209. ACM, ISBN 1-58113-833-4, 2004.
    [15] Bono Viviana, Tiuryn Jerzy, Urzyczyn Pawel. Type inference for nested self types (extended abstract). Post-Proceedings of TYPES 2003, Lectures Notes in Computer Science (LNCS). In Stefano Berardi, Mario Coppo, Ferruccio Damiani ed(s), volume 3085, pp. 99--114. Springer, ISBN 3-540-22164-6, 2004.
    [16] Bettini Lorenzo, Bono Viviana, Venneri Betti. Subtyping-inheritance conflicts: The mobile mixin case. Exploring New Frontiers of Theoret. Informatics: IFIP 18th World Comput. Congress - TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS '04). In Jean-Jacques Lèvy, Ernst W. Mayr, John C. Mitchell ed(s), pp. 451--464. Kluwer, ISBN 1-4020-8140-5, 2004.
    [17] Giovannetti Elio. Type Inference for Mobile Ambients in Prolog. Computing: The Australasian Theory Symposium (CATS'04), volume/numero 91, pp. 96--115, Electronic Notes in Theoretical Computer Science. Elsevier, 2004.
    [18] Alessi Fabio, Dezani Mariangiola. Type Preorders and Recursive Terms. ITRS 2004. In Mario Coppo and Ferruccio Damiani ed(s), volume/numero 136, pp. 3--21, Electronic Notes in Theoretical Computer Science. Elsevier, ISSN 1571-0661, 2005.
    [19] Bettini Lorenzo, Bono Viviana, Venneri Betti. MoMi - A Calculus for Mobile Mixins. Acta Informatica, 42(2/3):143--190. Springer. ISSN 0001-5903, 2005.
    [20] Bettini Lorenzo, Bono Viviana, Likavec Silvia. Safe and Flexible Objects. ACM Symposium on Applied Computing (SAC 2005), volume/numero 2, pp. 1258--1263. ACM Press, ISBN 1-58113-964-0, 2005.
    [21] Bettini Lorenzo, Bono Viviana, Likavec Silvia. Safe and Flexible Objects with Subtyping. Journal of Object Technology - JOT, 4(10):5--29. ETH Zurich. ISSN 1660 1769, 2005.
    [22] Bettini Lorenzo, Bono Viviana, Likavec Silvia. Safe object composition in the presence of subtyping. ICTCS 2005, Lectures Notes in Computer Science (LNCS), volume 3701, pp. 128--142. Springer, ISBN 3-540-29106-7, ISSN 0302-9743, 2005.
    [23] Coppo Mario, Cozzi F., Dezani Mariangiola, Giovannetti Elio, Pugliese Rosario. A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles: Steps on the Road to Infinity, Lectures Notes in Computer Science (LNCS). In Middeldorp, Aart and van Oostrom, Vincent and van Raamsdonk, Femke and de Vrijer, Roel ed(s), volume 3838, pp. 404--444. Springer, ISBN 3-540-30911-X, ISSN 0302-9743, 2005.
    [24] Bono Viviana, Bugliesi Michele, Drossopoulou Sophia (ed(s)). Workshop on Object-Oriented Developments (WOOD 2004). ENTCS, volume 138. Elsevier, ISSN 1571-0661, 2005.
    [25] Ahern A., Dezani Mariangiola, Drossopoulou Sophia, Yoshida Nobuko. Ldoos: a Distributed Object-Oriented language with Session types. TGC 2005, Lectures Notes in Computer Science (LNCS). In Rocco De Nicola and Davide Sangiorgi ed(s), volume 3705, pp. 299--318. Springer, ISBN 3-540-30007-4, ISSN 0302-9743, 2005.
    [26] Dezani Mariangiola, Honsell Furio, Motohama Yoko. Compositional Characterization of lambda-terms using Intersection Types. Theoretical Computer Science, 340(3):459--495. Elsevier. ISSN 0304-3975, 2005.
    [27] Dougherty Dan, Ghilezan Silvia, Lescanne Pierre, Likavec Silvia. Strong Normalization of the Dual Classical Sequent Calculus. 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005), Lectures Notes in Computer Science (LNCS), volume 3835, pp. 169--183. Springer, ISBN 3-540-30553-X, ISSN 0302-9743, 2005.
    Department home [Information] [People] [Research] [Ph.D.] [Education] [Library] [Search]
    [WAP Site] [Administration] [Services] [Hostings] [News and events]

    Administrator: wwwadm[at]di.unito.it Last update: 17 May 2018