OCaml Forge
SCM

Forum: delimited-overloading---computer-assisted-proofs.

Posted by: Christophe Troestler
Date: 2009-01-31 17:08
Summary:Delimited overloading & computer assisted proofs.
Project:Delimited overloading

A new example has been added to show how the use of Delimited Overloading can ease the writing of code for a computer assisted proof. You can see an interplay between various "levels of abstraction" (intervals, polynomials, analytic functions) and appreciate the clarity of the mathematical expressions that Delimited Overloding enables. See http://forge.ocamlcore.org/plugins/scmsvn/viewcvs.php/trunk/examples/comp_assit_proof/?root=pa-do
The code is based on the paper
http://pcc2341f.unige.ch/publications/paper020/94-394_ps.pdf

Latest News

Delimited Overloading 0.8.15

Christophe Troestler - 2012-09-28 20:05 -

Delimited overloading (pa_do): version 0.8.5 released

Christophe Troestler - 2009-04-14 09:09 -

Delimited overloading: version 0.8.3 released

Christophe Troestler - 2009-02-07 22:18 -

Delimited overloading & computer assisted proofs.

Christophe Troestler - 2009-01-31 17:08 -

Delimited overloading: version 0.8 released

Christophe Troestler - 2008-12-16 09:43 -

Discussion Forums: delimited-overloading---computer-assisted-proofs.

Monitor Forum | Start New Thread Start New Thread