The FoC Distribution

Renaud Rioboo (1)

1 SPI - Sémantiques, preuves et implantation

This talk presents the basics of the next release of the FoC distribution. After a recall of the FoC programming language and its concepts, we present some tools that enable a FoC programmer to document hist code. In the same spirit than JavaDoc or Doxygen structured comments are added by the programmer in order to have them included in the documentation. FoCDoC has the advantage over existing tools for other programming languages that rendering is achieved using the MathML W3C norm and is viewable by most of the recent Web browsers.

Domaines: Informatique [cs]

Renaud Rioboo. The FoC Distribution. Calcul formel, algorithmes certifiés, preuves constructives. (MAP workshop), Jan 2004, Luminy, France. ⟨hal-01497971⟩