Skip to Main content Skip to Navigation
Reports

Towards a formal definition of the Foc language

Stéphane Fechter 1 Catherine Dubois
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The Foc project develops a formal language to implement certified components called collections. These collections are specified and implemented step by step: the programmer describes formally the properties of the algorithms, the context in which they are executed, the data representation and proves formally that the implemented algorithms satisfies the specified properties. This programming paradigm implies the use of classic oriented-object features and the use of module features like interfaces and encapsulation of data representation. In this paper we formalize a kernel of the focLanguage language whose main ingredients are multiple inheritance, late binding, overriding, interfaces and encapsulation of the data representation. We specify formally the semantics, the type system, the soundness of the typing discipline.
Document type :
Reports
Complete list of metadatas

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

File

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

Identifiers

  • HAL Id : hal-02545623, version 1

Citation

Stéphane Fechter, Catherine Dubois. Towards a formal definition of the Foc language. [Research Report] lip6.2004.001, LIP6. 2004. ⟨hal-02545623⟩

Share

Metrics

Record views

8

Files downloads

13