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 × Austria
1 × Belgium
1 × Hungary
1 × Italy
1 × United Kingdom
Collaborated with:
M.Comini G.Bacci R.Mardare A.Villanueva K.G.Larsen K.G.Larsen M.A.Feliú M.A.Feliú
Talks about:
logic (3) synthesi (2) function (2) program (2) distanc (2) automat (2) specif (2) order (2) first (2) difficulti (1)

Person: Giovanni Bacci

DBLP DBLP: Bacci:Giovanni

Contributed to:

FoSSaCS 20152015
TACAS 20132013
ICLP 20122012
PPDP 20122012
LOPSTR 20102010

Wrote 5 papers:

FoSSaCS-2015-BacciBLM #distance #markov #on the
On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.
TACAS-2013-BacciBLM #on the fly #similarity
On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis
Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.
LOPSTR-2010-BacciC #first-order #functional #logic programming #source code
Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.

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.