Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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!