BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Japan
1 × Norway
1 × Spain
2 × USA
Collaborated with:
F.Scozzari F.Spoto G.Levi M.Parton S.D.N.D.Maio M.C.Meo
Talks about:
abstract (4) analysi (2) narrow (2) domain (2) share (2) oper (2) interpret (1) framework (1) properti (1) variabl (1)

Person: Gianluca Amato

DBLP DBLP: Amato:Gianluca

Contributed to:

FM 20152015
SAS 20132013
SAS 20102010
LOPSTR 20022002
FLOPS 20012001
SAS 20002000

Wrote 6 papers:

FM-2015-AmatoMMS #abstract domain
Narrowing Operators on Template Abstract Domains (GA, SDNDM, MCM, FS), pp. 57–72.
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.
FLOPS-2001-AmatoS #analysis #compilation
Abstract Compilation for Sharing Analysis (GA, FS), pp. 311–325.
SAS-2000-AmatoL #abstract interpretation #calculus #semantics
Abstract Interpretation Based Semantics of Sequent Calculi (GA, GL), pp. 38–57.

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.