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 × Canada
1 × France
1 × Poland
2 × Japan
Collaborated with:
B.Accattoli Andrea Condoluci J.Boender L.Padovani S.Zacchiroli O.Al-Hassani Q.Mahesar V.Sorge A.Asperti W.Ricciotti E.Tassi G.Guerrieri
Talks about:
kuratowski (1) complement (1) implement (1) algorithm (1) interact (1) document (1) approach (1) abstract (1) theorem (1) problem (1)

Person: Claudio Sacerdoti Coen

DBLP DBLP: Coen:Claudio_Sacerdoti

Contributed to:

LICS 20152015
TACAS 20142014
RTA 20122012
CADE 20112011
GPCE 20042004
PPDP 20192019

Wrote 7 papers:

LICS-2015-AccattoliC #on the
On the Relative Usefulness of Fireballs (BA, CSC), pp. 141–155.
TACAS-2014-BoenderC #algorithm #branch #correctness #on the
On the Correctness of a Branch Displacement Algorithm (JB, CSC), pp. 605–619.
RTA-2012-Al-HassaniMCS #problem #term rewriting
A Term Rewriting System for Kuratowski’s Closure-Complement Problem (OAH, QaM, CSC, VS), pp. 38–52.
CADE-2011-AspertiRCT #interactive #proving #theorem proving
The Matita Interactive Theorem Prover (AA, WR, CSC, ET), pp. 64–69.
GPCE-2004-PadovaniCZ #approach #documentation #generative #implementation
A Generative Approach to the Implementation of Language Bindings for the Document Object Model (LP, CSC, SZ), pp. 469–487.
PPDP-2019-AccattoliCGC #automaton
Crumbling Abstract Machines (BA, AC, GG, CSC), p. 15.
PPDP-2019-CondoluciAC #linear #similarity
Sharing Equality is Linear (AC, BA, CSC), p. 14.

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.