Tutorial FoC

A brief FoC tutorialVersion 0.0July, 01, 2003The FoC development teamConservatoire National des Arts et Metiers (CNAM)Institut National de Recherche en Informatique etAutomatique (INRIA)Laboratoire d’Informatique de Paris 6 (LIP6)AbstractIn this tutorial, we show through sample examples the main constructions of FoC.The rst part of this tutorial is a general description of FoC together with a FoCdevelopment of cartesian products of monoids (a set with an associative operationfor which there is a neutral element). In this part, we omit some properties. Thesecond part focuses on proof and explained how to make proof in Coq from a FoCdevelopment. Last, the third part shows how programming within FoC.1Contents1 First steps within FoC 61.1 Starting with FoC: Setoids . . . . . . . . . . . . . . . . . . . . . . . . . . . 61.2 Inheritance: Monoids . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81.3 Parameterized species: Cartesian product of setoids . . . . . . . . . . . . . 91.4 Multiple inheritance: product of monoids . . . . . . . . . . . . . . 101.5 Collection: Implementation ofZ andZZ . . . . . . . . . . . . . . . . . . 101.6 Compilation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.6.1 Steps of compilation . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.6.2 Interface of species . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121.6.3 Inheritance graph . . . . . . . . . . . . . . . . . ...