LIP6 2004/001

• Reports
  Vers une définition formelle du langage Foc
• S. Fechter, C. Dubois
• 59 pages - 05/04/2004- document en - http://www.lip6.fr/lip6/reports/2004/lip6.2004.001.pdf - 462 Ko
• Contact : stephane.fechter (at) nulllip6.fr
• Ancien Thème : SPI
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.
• Keywords : OO features,inheritance,encapsulation, semantics, type system, species, collections, carrier type
• Publisher : David.Massot (at) nulllip6.fr