Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* Formal Specification Techniques
@ 2005-08-12 14:41 Alexsandro Soares
  0 siblings, 0 replies; only message in thread
From: Alexsandro Soares @ 2005-08-12 14:41 UTC (permalink / raw)
  To: caml-list

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/


^ permalink raw reply	[flat|nested] only message in thread
only message in thread, other threads:[~2005-08-12 14:41 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-08-12 14:41 Formal Specification Techniques Alexsandro Soares

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox