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 × France
1 × Germany
1 × Sweden
1 × USA
Collaborated with:
∅ S.Merz
Talks about:
abstract (3) interpret (2) languag (2) higher (2) order (2) imper (2) debug (2) interprocedur (1) polymorph (1) structur (1)

Person: François Bourdoncle

DBLP DBLP: Bourdoncle:Fran=ccedil=ois

Contributed to:

POPL 19971997
ESEC 19931993
PLDI 19931993
PLILP 19901990

Wrote 4 papers:

POPL-1997-BourdoncleM #higher-order #multi #polymorphism
Type-Checking Higher-Order Polymorphic Multi-Methods (FB, SM), pp. 302–315.
ESEC-1993-Bourdoncle #abstract interpretation #debugging #imperative #source code
Assertion-based Debugging of Imperative Programs by Abstract Interpretation (FB), pp. 501–516.
PLDI-1993-Bourdoncle #debugging #higher-order #imperative
Abstract Debugging of Higher-Order Imperative Languages (FB), pp. 46–55.
PLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.
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.