BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Norway
1 × Spain
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
G.Amato ∅ R.Giacobazzi M.Parton F.Ranzato S.D.N.D.Maio M.C.Meo
Talks about:
abstract (5) analysi (3) domain (3) optim (3) interpret (2) narrow (2) share (2) logic (2) oper (2) intuitionist (1)

Person: Francesca Scozzari

DBLP DBLP: Scozzari:Francesca

Contributed to:

FM 20152015
SAS 20132013
SAS 20102010
LOPSTR 20022002
SAS 20002000
SAS 19981998
PLILP 19971997
SAS 19971997

Wrote 8 papers:

FM-2015-AmatoMMS #abstract domain
Narrowing Operators on Template Abstract Domains (GA, SDNDM, MCM, FS), pp. 57–72.
SAS-2013-AmatoS
Localizing Widening and Narrowing (GA, FS), pp. 25–42.
SAS-2010-AmatoPS #abstract domain #analysis #component
Deriving Numerical Abstract Domains via Principal Component Analysis (GA, MP, FS), pp. 134–150.
LOPSTR-2002-AmatoS #alias #framework #towards
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties (GA, FS), pp. 52–70.
SAS-2000-Scozzari #abstract domain #analysis #semantics
Abstract Domains for Sharing Analysis by Optimal Semantics (FS), pp. 397–412.
SAS-1998-GiacobazziRS #abstract interpretation #linear
Building Complete Abstract Interpretations in a Linear Logic-based Setting (RG, FR, FS), pp. 215–229.
PLILP-1997-GiacobazziS #abstract interpretation
Intuitionistic Implication in Abstract Interpretation (RG, FS), pp. 175–189.
SAS-1997-Scozzari #analysis #logic
Logical Optimality of Groundness Analysis (FS), pp. 83–97.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.