A Type System for Required/Excluded Elements in CLS (2009)
Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Troina, Angelo
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline to guarantee the...
A Calculus of Evolving Objects (2009)
Mariangiola Dezani-ciancaglini, Paola Giannini, Oscar Nierstrasz
Abstract. The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over...
A Calculus of Evolving Objects ⋆ (2009)
Mariangiola Dezani-ciancaglini, Paola Giannini, Oscar Nierstrasz
Abstract. The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over...
found at the ENTCS Macro Home Page. Type Checking for JavaScript (2008)
Christopher Anderson, Paola Giannini
Replace this file with prentcsmacro.sty for your meeting,
2. IMPLEMENTING STATE CLASSES 3. PARAMETERIZED STATES 4. THE SANTA CLAUS PROBLEM (2008)
Ferruccio Damiani, Nick Cameron, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Up to now state classes NOT promising in sequential programming promising for coordination EOS, Genova, January 9-10, 2006 – p. Up to now state classes NOT promising in sequential programming...
Dottorato di Ricerca in Informatica (2008)
Ferruccio Damiani, Promotor Prof, Co-promotor Dott, Paola Giannini, A Carmen
functional programs
John Boyland, Alex Buckley, Patrice Chalin, Dave Clarke, Paola Giannini, Marieke Huisman, ...
This report contains the papers presented at FTfJP ’07: 9th workshop on Formal
John Boyland, Alex Buckley, Patrice Chalin, Dave Clarke, Paola Giannini, Marieke Huisman, ...
This report contains the papers presented at FTfJP ’07: 9th workshop on Formal
Alias types for “environment-aware” (2008)
Ferruccio Damiani, Torino Italia, Paola Giannini, Alessandria Italia
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-ciancaglini, Paola Giannini
Abstract. Re-classication changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classication, which could extend an...
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-ciancaglini, Paola Giannini
Abstract. Re-classication changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classication, which could extend an...
Sophia Drossopoulou, Paola Giannini
Re-classi cation changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classication, which could extend an imperative, typed,...
Alias types for "environment-aware" computations (2007)
Ferruccio Damiani, Torino Italia, Paola Giannini, Alessandria Italia
In previous work with Bono we introduced a calculus for modelling "environmentaware " computations, that is computations that adapt their behavior according to the capabilities of...
Strictness, Totality, and Non-Standard Type (2007)
Inference Mario Coppo, Ferruccio Damiani, Paola Giannini
In this paper we present two non-standard type inference systems for conjunctive strictness and totality analyses of higher-order typed functional programs and prove completeness results for both the...
Re-classification and Multi-threading: Fickle_MT (2007)
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Ferruccio Damiani + Universit a di Torino Corso Svizzera 185 damiani@di.unito.it Mariangiola Dezani-Ciancaglini # Universit a di Torino Corso Svizzera 185 dezani@di.unito.it Paola Giannini Universit...
On state classes and their dynamic semantics (2006)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
Abstract: We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object’s state (intended as some abstraction over...
A State Abstraction for Coordination in Java-like Languages (2006)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Nick Cameron, Sophia Drossopoulou
Abstract. Objects ’ state, intended as some abstraction over the value of fields, is always in the mind of a COOL (Concurrent Object-Oriented Language) programmer. In fact, as the state of an...
Towards Type Inference for JavaScript (2005)
Christopher Anderson Paola, Christopher Anderson, Paola Giannini, Sophia Drossopoulou
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes through addition of...
On Re-classification and Multi-threading (2004)
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
this paper we consider re-classification in the presence of multi-threading. To this aim we define a multi-threaded extension of the language MT . We define an operational semantics and a type and...
Giovanni Lagorio, Giovanni Lagorio, Davide Ancona, Elena Zucca, Gilad Bracha, ...
Type systems for Java separate compilation and selective recompilation by
Type checking for javascript (2004)
Christopher Anderson, Paola Giannini
Abstract. JavaScript is a powerful imperative object based language made popular by its use in web pages. It supports flexible program development by allowing dynamic addition of members to objects....
Refined Effects for Unanticipated Object Re-classification: Fickle_3 (Extended Abstract) (2003)
Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
In previous work on the language Fickle and its extension Fickle_II Dezani and us introduced language features for object re-classification for imperative, typed, class-based, object-oriented...
More dynamic object re-classification: FickleII (2002)
Sophia Drossopoulou, Paola Giannini
Reclassification changes the class membership of an object at run-time while retaining its identity. We suggest language features for object reclassification, which extend an imperative, typed,...
A Calculus for "environment-Aware" Computation (2002)
Viviana Bono, Ferruccio Damiani, Paola Giannini
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. The calculus is an...
The TkInter homepage. http://www.python.org/topics/tkinter (2001)
Ferruccio Damiani, Paola Giannini
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and complete way, by reducing...
Refined Effects for Reclassification: Fickle_III (2001)
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Paola Giannini
This paper is organized as follows: In Section 2 we introduce III informally using an example. In Sections 3, 4, and 5 we outline III : the syntax, operational semantics, typing rules, and we state...
Type-based useless-code elimination for functional programs (2000)
Stefano Berardi, Ferruccio Damiani, Paola Giannini
Abstract. In this paper we present a survey of the work on type-based useless-code elimination for higher-order functional programs. After some historical remarks on the motivations and early...
Objects Dynamically Changing Class (1999)
Sophia Drossopoulou, Mariangiola Dezani-ciancaglini, Ferruccio Damiani, Paola Giannini
We suggest language features that allow objects to mutate, i.e. change their class membership at run-time. These features could extend an imperative, typed, class-based, object-oriented language like...
A filter model for mobile processes † FERRUCCIO DAMIANI, MARIANGIOLA DEZANI-CIANCAGLINI (1997)
This paper presents a filter model for π-calculus and shows its full abstraction with respect to a ‘may ’ operational semantics. The model is introduced in the form of a type assignment system....