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 × United Kingdom
2 × France
Collaborated with:
G.Filé N.Civran F.Pulvirenti B.L.Charlier C.Leclère I.Pollet
Talks about:
interpret (2) abstract (2) mercuri (2) methodolog (1) construct (1) program (1) general (1) toward (1) semant (1) method (1)

Person: Dante Baldan

DBLP DBLP: Baldan:Dante

Contributed to:

PPDP 19991999
LOPSTR 19981998
SAS 19971997

Wrote 3 papers:

PPDP-1999-BaldanCFP #abstract interpretation
A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.
LOPSTR-1998-BaldanCLP #declarative #semantics #towards
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.
SAS-1997-BaldanF #abstract interpretation
Abstract Interpretation from Improving WAM Code (DB, GF), p. 364.

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.