Dante Baldan

According to our database, Dante Baldan authored at least 3 papers between 1997 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

A Simple and General Method for Integrating Abstract Interpretation in SICStus.

Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1998

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.

Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Abstract Interpretation from Improving WAM Code.

Dante Baldan, Gilberto Filé

Proceedings of the Static Analysis, 4th International Symposium, 1997