Browse thread
Formal Specification Techniques
- Alexsandro Soares
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| 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. Cheers, Alex _______________________________________________________ Yahoo! Acesso Grátis - Internet rápida e grátis. Instale o discador agora! http://br.acesso.yahoo.com/