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 × Spain
2 × Italy
Collaborated with:
Talks about:
proof (3) abstract (2) uniform (2) program (2) logic (2) interpret (1) properti (1) languag (1) express (1) concurr (1)

Person: Paolo Volpe

DBLP DBLP: Volpe:Paolo

Contributed to:

ALP/PLILP 19981998
SAS 19981998
ALP 19961996
ALP 19941994

Wrote 4 papers:

ALP-PLILP-1998-LeviV #abstract interpretation #proving
Derivation of Proof Methods by Abstract Interpretation (GL, PV), pp. 102–117.
SAS-1998-Volpe #alias #first-order #logic programming #source code
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs (PV), pp. 184–199.
ALP-1996-Volpe #abstraction #proving
Abstractions of Uniform Proofs (PV), pp. 224–237.
ALP-1994-Volpe #concurrent #linear #logic programming #proving
Concurrent Logic Programming as Uniform Linear Proofs (PV), pp. 133–149.

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.