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 × Germany
1 × Luxembourg
1 × USA
2 × France
2 × Italy
Collaborated with:
G.Levi F.Fages R.Bagnara M.Carlier A.Gotlieb P.M.Hill E.Zaffanella R.Bruni R.Giacobazzi Isabel Garcia-Contreras D.Pavlovic
Talks about:
abstract (4) interpret (3) program (3) logic (3) constraint (2) properti (2) analysi (2) normal (2) verif (2) finit (2)

Person: Roberta Gori

DBLP DBLP: Gori:Roberta

Contributed to:

ICST 20132013
VMCAI 20032003
VMCAI 20022002
SAS 20012001
PPDP 19991999
SAS 19981998
ALP 19961996
POPL 20202020

Wrote 8 papers:

ICST-2013-BagnaraCGG #float #generative #source code #testing
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
VMCAI-2003-GoriL #interpreter
Properties of a Type Abstract Interpreter (RG, GL), pp. 132–145.
VMCAI-2002-GoriL #abstract interpretation #empirical #type inference #verification
An Experiment in Type Inference and Verification by Abstract Interpretation (RG, GL), pp. 225–239.
SAS-2001-BagnaraGHZ #analysis #constraints
Finite-Tree Analysis for Constraint Logic-Based Languages (RB, RG, PMH, EZ), pp. 165–184.
PPDP-1999-GoriL #finite #on the #verification
On the Verification of Finite Failure (RG, GL), pp. 311–327.
SAS-1998-FagesG #analysis #logic programming #source code
Analysis of Normal Logic Programs (FF, RG), pp. 82–98.
ALP-1996-FagesG #constraints #logic programming #semantics #source code
A Hierarchy of Semantics for Normal Constraint Logic Programs (FF, RG), pp. 77–91.
POPL-2020-BruniGGGP #abstract interpretation
Abstract extensionality: on the properties of incomplete abstract interpretations (RB, RG, RG, IGC, DP), p. 28.

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.