From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id AB83CBCA2 for ; Fri, 12 Aug 2005 16:41:58 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j7CEfw1s021699 for ; Fri, 12 Aug 2005 16:41:58 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA17837 for ; Fri, 12 Aug 2005 16:41:57 +0200 (MET DST) Received: from web51601.mail.yahoo.com (web51601.mail.yahoo.com [206.190.38.206]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id j7CEfvwf014192 for ; Fri, 12 Aug 2005 16:41:57 +0200 Received: (qmail 97649 invoked by uid 60001); 12 Aug 2005 14:41:56 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com.br; h=Message-ID:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=bPVAN8T+hF9eNO0ZbLphDVq1vBfKWh1HJtG8S5X6vC3fFelRw+2oHNQEcl0oJR99O2QAEHe1kz6Hw1fE9jtQn5/U0I7JAoU+MmTK/F2kQcOcvaARGrW1eApb81wOkrX7wSAZOrr4jU2EdRtcKOYrRuWsxM/O6wGK500hT58blqo= ; Message-ID: <20050812144156.97647.qmail@web51601.mail.yahoo.com> Received: from [200.233.206.109] by web51601.mail.yahoo.com via HTTP; Fri, 12 Aug 2005 11:41:56 ART Date: Fri, 12 Aug 2005 11:41:56 -0300 (ART) From: Alexsandro Soares Subject: Formal Specification Techniques To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 42FCB536.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42FCB535.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 functors:01 ocaml:01 functors:01 cheers:01 neural:01 neural:01 alex:03 implement:05 generic:07 formal:07 formal:07 maybe:07 i'm:08 framework:09 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 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/