English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Formal Specification Techniques
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-08-12 (14:41)
From: Alexsandro Soares <a_s_soares@y...>
Subject: Formal Specification Techniques
Hi all,

  I'm trying to implement some Neural Networks in
OCaml, maybe using some generic framework (as in
Fiesler's paper "Neural Network Classification and
Formalization") in order to permit easy expansion to
new models. Did someone try this before? Is a good
idea use functors and/or Object-Orientation? Is there
some formal specification technique more adequated to
Ocaml features (like functors)?

Thanks in advance for any answer.


Yahoo! Acesso Grátis - Internet rápida e grátis. 
Instale o discador agora! http://br.acesso.yahoo.com/