Skip to Main content Skip to Navigation
Reports

BBFoc

Stéphane Fechter 1 Olivier Boite
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : This article describes a model for a programmation and algebraic structure specification language for the computer algebra. This model have an object oriented aspect, and a new notion of carrier type for handled entities. This article describe the mechanised proof of the type soundness of the model with the Coq system.
Document type :
Reports
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02545666
Contributor : Lip6 Publications <>
Submitted on : Friday, April 17, 2020 - 11:48:04 AM
Last modification on : Tuesday, April 21, 2020 - 1:53:31 AM

File

lip6.2004.002.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02545666, version 1

Citation

Stéphane Fechter, Olivier Boite. BBFoc. [Rapport de recherche] lip6.2004.002, LIP6. 2004. ⟨hal-02545666⟩

Share

Metrics

Record views

11

Files downloads

15