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

https://hal.archives-ouvertes.fr/hal-01497971
Contributor : Lip6 Publications <>
Submitted on : Wednesday, March 29, 2017 - 4:01:30 PM
Last modification on : Thursday, March 21, 2019 - 1:07:45 PM

Identifiers

  • HAL Id : hal-01497971, version 1

Citation

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

Share

Metrics

Record views

45