The FoC Distribution

Renaud Rioboo 1
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Wednesday, March 29, 2017 - 4:01:30 PM
Last modification on : Thursday, March 21, 2019 - 1:07:45 PM


  • HAL Id : hal-01497971, version 1


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



Record views