Paola Giannini
Paola Giannini
Professor of Computer Science, Universita' del Piemonte Orientale
Bestätigte E-Mail-Adresse bei di.unipmn.it
Titel
Zitiert von
Zitiert von
Jahr
Towards type inference for JavaScript
C Anderson, P Giannini, S Drossopoulou
European conference on Object-oriented programming, 428-452, 2005
2372005
Fickle: Dynamic Object Re-classification
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
1262001
More dynamic object reclassification: Fickle∥
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002
1152002
Characterization of typings in polymorphic type discipline
P Giannini, SR Della Rocca
Proceedings Third Annual Symposium on Logic in Computer Science, 61, 62, 63 …, 1988
861988
Type checking for JavaScript
C Anderson, P Giannini
Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005
472005
A complete type inference algorithm for simple intersection types
M Coppo, P Giannini
Colloquium on Trees in Algebra and Programming, 102-123, 1992
471992
Type inference: some results, some problems
P Giannini, F Honsell, SRD Rocca
Fundamenta Informaticae 19 (1-2), 87-125, 1993
431993
Effectively given domains and lambda-calculus models
P Giannini, G Longo
Information and Control 62 (1), 36-63, 1984
351984
IDL: the language and its implementation
JR Nestor, JM Newcomer, P Giannini, DL Stone
Prentice-Hall, Inc., 1990
301990
Principal types and unification for simple intersection type systems
M Coppo, P Giannini
Information and Computation 122 (1), 70-96, 1995
291995
A decidable intersection type system based on relevance
F Damiani, P Giannini
International Symposium on Theoretical Aspects of Computer Software, 707-725, 1994
281994
Refinement types for program analysis
M Coppo, F Damiani, P Giannini
International Static Analysis Symposium, 143-158, 1996
261996
Refined Effects for Unanticipated Object Re-classification:
F Damiani, S Drossopoulou, P Giannini
Italian Conference on Theoretical Computer Science, 97-110, 2003
242003
A type safe state abstraction for coordination in Java-like languages
F Damiani, E Giachino, P Giannini, S Drossopoulou
Acta Informatica 45 (7-8), 479-536, 2008
232008
Type-based useless-code elimination for functional programs position paper
S Berardi, M Coppo, F Damiani, P Giannini
International Workshop on Semantics, Applications, and Implementation of …, 2000
232000
A type system for required/excluded elements in CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.2323, 2009
202009
Safe ambients: abstract machine and distributed implementation
P Giannini, D Sangiorgi, A Valente
Science of Computer Programming 59 (3), 209-249, 2006
202006
Strictness, totality, and non-standard-type inference
M Coppo, F Damiani, P Giannini
Theoretical Computer Science 272 (1-2), 69-112, 2002
192002
Type inference in polymorphic type discipline
P Giannini, S Ronchi, D Rocca
International Symposium on Theoretical Aspects of Computer Software, 18-37, 1991
181991
A type system for a stochastic CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.4985, 2009
172009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20