François Bourdoncle

According to our database, François Bourdoncle authored at least 7 papers between 1990 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

LiveTopics: recherche visuelle d'information sur l'Internet.

François Bourdoncle

Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 1997

Type-Checking Higher-Order Polymorphic Multi-Methods.

François Bourdoncle, Stephan Merz

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1993

Abstract Debugging of Higher-Order Imperative Languages.

François Bourdoncle

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

Assertion-based Debugging of Imperative Programs by Abstract Interpretation.

François Bourdoncle

Proceedings of the Software Engineering, 1993

Efficient chaotic iteration strategies with widenings.

François Bourdoncle

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Abstract Interpretation by Dynamic Partitioning.

François Bourdoncle

J. Funct. Program., 1992

1990

Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity.

François Bourdoncle

Proceedings of the Programming Language Implementation and Logic Programming, 1990