LIP6 1999/012

• Reports
  Modules, Objets et Calcul Formel
• S. Boulmé, Th. Hardin, R. Rioboo
• 14 pages - 05/08/1999- document en - http://www.lip6.fr/lip6/reports/1999/lip6.1999.012.ps.gz - 51 Ko
• Contact : Sylvain.Boulme (at) nulllip6.fr, Therese.Hardin (at) nulllip6.fr, Renaud.Rioboo (at) nulllip6.fr
• Ancien Thème : SPI
Ocaml language offers powerful classes and modules. These two paradigms provide some quite similar features (abstraction, modularity, . .). Faced to a complex specification, the working programmer may wonder which one is the best choice for his/her purpose. We attempt to create (in Ocaml) an environment for "certified programming" of computer algebra. This paper presents our methodology for building computer algebra libraries, which mixes objects and modules in an original way. It explains why our final implementation satisfy our software requirements. We hope this paper brings some new elements to the modules/objects discussion and shows some interesting extensions to study for languages based on classes or modules.
• Keywords : object programming, safe typing, modularity
• Publisher : David.Massot (at) nulllip6.fr