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 × Poland
3 × United Kingdom
Collaborated with:
M.Ferrari C.Fiorentini P.Miglioli G.Fiorino U.Moscato
Talks about:
synthesi (3) program (3) logic (3) framework (2) formal (2) verif (2) implement (1) construct (1) calculus (1) abstract (1)

Person: Alessandro Avellone

DBLP DBLP: Avellone:Alessandro

Contributed to:

CSL 20042004
LOPSTR 20002000
LOPSTR 20002000
LOPSTR 19981998

Wrote 4 papers:

CSL-2004-AvelloneFFM #calculus #implementation #logic #performance
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.
LOPSTR-2000-AvelloneFF #framework #logic programming #source code #synthesis #verification
A formal framework for synthesis and verification of logic programs (AA, MF, CF).
LOPSTR-J-2000-AvelloneFF #framework #logic programming #source code #synthesis #verification
A Formal Framework for Synthesis and Verification of Logic Programs (AA, MF, CF), pp. 1–17.
LOPSTR-1998-AvelloneFM #data type #source code #synthesis
Synthesis of Programs in Abstract Data Types (AA, MF, PM), pp. 81–100.
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.