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

Semantics of Programming Languages

- People

Last and first name Position Email
Simona Ronchi Della Rocca Full Professor simona.ronchidellarocca[at]di.unito.it
Ugo de'Liguoro Associate Professor ugo.deliguoro[at]di.unito.it
Luca Roversi Associate Professor luca.roversi[at]di.unito.it
Luca Paolini Temporary Researcher paolini[at]di.unito.it
Marco Gaboardi Ph.D. Student gaboardi[at]di.unito.it
Luca Fossati Ph.D. Student fossati[at]di.unito.it


- Research Activities

The diffusion of the distributed computer science increased the interest of the scientific community for the issues of programs certification. In particular, computer networks constituted of small devices (even mobiles) with bounded computational resources that receive programs to be executed from the network itself, are more and more frequent. So it is important to assure that such programs both do not exceed the availability of resources of the devices themselves, and do not pose a threat to the security of the system. The research we carried out studied the general program of programs certification from a foundational point of view, and it can be described skipping it in two lines. The first one consisted in the design of tools (type assignment systems), inspired from logics, for lambda-calculus like languages. In particular we started from subsystems of Linear Logics to design type assignment systems that assure a bounded time complexity of programs. The second line was the design of paradigmatic languages enjoying particular properties. Between the proposed languages there the parametric lambda-calculus, for studying the parameter passing modalities, a language based on the ramified recurrence, for programming polynomial algorithms, and languages for modelling mobile objects.

- Publications

[1] Barbanera Franco, De'Liguoro Ugo. Type Assignment for Mobile Objects. Workshop of the COMETA Project on Computational Metamodels, volume 104, pp. 25--38. Elsevier, 2004.
[2] Roversi Luca. Light languages and primitive recursive functions, 2004.
[3] Dal Lago Ugo, Martini Simone, Roversi Luca. Higher-order linear ramified recurrence. Proceedings of TYPES'04, Lectures Notes in Computer Science (LNCS). In Stefano Berardi, Mario Coppo, Ferruccio Damiani ed(s), volume 3085, pp. 178--193. Springer, ISBN 3-540-22164-6, 2004.
[4] Paolini Luca, Ronchi Della Rocca Simona. The Parametric Lambda Calculus. A Metamodel For Computation. Springer, ISBN 3-540-20032-0, 2004.
[5] Paolini Luca, Ronchi Della Rocca Simona. Parametric parameter passing Lambda-calculus. Information and Computation, 189(1):87--106, 2004.
[6] Paolini Luca, Ronchi Della Rocca Simona. Lazy Logical Semantics. Workshop of the COMETA Project on Computational Metamodels, volume/numero 104, pp. 235--251, Electronic Notes in Theoretical Computer Science, 2004.
[7] Baldoni Matteo, Baroglio Cristina, De Marchis S., Demo Barbara, Martelli Alberto, Roversi Luca. Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino. E-learning e Università: iniziative ed esperienze in Italia ed Europa. In B. Boniolo, S. Margarita, and C. Spadaro ed(s), 2005.
[8] Baldoni Matteo, Baroglio Cristina, Grandi Claudio, Roversi Luca. Live! I-Learn @ Home. 1st International Conference on Open Source Systems, OSS 2005. In M. Scotto and G. Succi ed(s), pp. 294--295, ISBN 88-7544-048-4, 2005.
[9] De'Liguoro Ugo, van Bakel Steffen. Subtyping object and recursive types logically. ICTCS 2005, Lectures Notes in Computer Science (LNCS), volume 3701, pp. 66--80. Springer, ISBN 3-540-29106-7, ISSN 0302-9743, 2005.
[10] Coppola Paolo, Dal Lago Ugo, Ronchi Della Rocca Simona. Elementary Affine Logic and the Call by Value Lambda Calculus. TLCA 2005, Lectures Notes in Computer Science (LNCS). In Pawel Urzyczyn ed(s), volume 3461, pp. 131--145. Springer, ISBN 3-540-25593-1, ISSN 0302-9743, 2005.
[11] Coppola Paolo, Ronchi Della Rocca Simona. Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundamenta Informaticae, 65(1-2):87--112. ISSN 0169-2968, 2005.
[12] Liquori Luigi, Ronchi Della Rocca Simona. Towards an Intersection Typed System a la Church. ITRS 2004, volume 136, pp. 43--56, Electronic Notes in Theoretical Computer Science. Elsevier, ISSN 1571-0661, 2005.
[13] Pimentel Elaine, Ronchi Della Rocca Simona, Roversi Luca. Intersection Types: a Proof-Theoretical Approach. Proc. of Structures and Deduction - ICALP Workshop, pp. 189--204, ISSN 1430-211X, 2005.

- Software Products

- Research Grants

Title of the project

Project leader

Funding organization

Kind of grant

FOLLIA(Fondazioni Logiche di Linguaggi Astratti di programmazione)

Simona Ronchi Della Rocca

Ministero dell'Universita' e Ricerca

Progetti cofinanziati biennali (PRIN 2004-2006)

 
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: Apr 12, 2002