David Overton

According to our database, David Overton authored at least 3 papers between 1999 and 2004.

Collaborative distances:

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

2004

Herbrand Constraints in HAL.

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2002

Constraint-based mode analysis of mercury.

David Overton, Zoltan Somogyi, Peter J. Stuckey

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

1999

Making Mercury Programs Tail Recursive.

Peter Ross, David Overton, Zoltan Somogyi

Proceedings of the Logic Programming Synthesis and Transformation, 1999