| 1997 |
|---|
| 6 | EE | François Bourdoncle,
Stephan Merz:
Type-Checking Higher-Order Polymorphic Multi-Methods.
POPL 1997: 302-315 |
| 1993 |
|---|
| 5 | | François Bourdoncle:
Assertion-based Debugging of Imperative Programs by Abstract Interpretation.
ESEC 1993: 501-516 |
| 4 | | François Bourdoncle:
Semantic Analysis of Interval Congruences.
Formal Methods in Programming and Their Applications 1993: 128-141 |
| 3 | | François Bourdoncle:
Abstract Debugging of Higher-Order Imperative Languages.
PLDI 1993: 46-55 |
| 1992 |
|---|
| 2 | | François Bourdoncle:
Abstract Interpretation by Dynamic Partitioning.
J. Funct. Program. 2(4): 407-423 (1992) |
| 1990 |
|---|
| 1 | | François Bourdoncle:
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity.
PLILP 1990: 307-323 |
