From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id RAA07855 for caml-redistribution; Wed, 15 Mar 1995 17:13:19 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id RAA07810 for ; Wed, 15 Mar 1995 17:09:41 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id RAA21725 for ; Wed, 15 Mar 1995 17:09:41 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id RAA19343 for ; Wed, 15 Mar 1995 17:10:22 +0100 Received: from velcro.inrs-telecom.uquebec.ca (inrs-telecom.uquebec.ca [192.26.211.119]) by concorde.inria.fr (8.6.10/8.6.9) with SMTP id RAA21717 for ; Wed, 15 Mar 1995 17:09:26 +0100 Received: from vouvray.inrs-telecom.uquebec.ca by velcro.inrs-telecom.uquebec.ca with SMTP id AA04077 (5.67a/IDA-1.5 for ); Wed, 15 Mar 1995 11:08:34 -0500 Date: Wed, 15 Mar 1995 11:08:34 -0500 From: Jean Charles Gregoire Message-Id: <199503151608.AA04077@velcro.inrs-telecom.uquebec.ca> To: caml-list@margaux.inria.fr Subject: simulation Sender: weis Un ami est de'sireux d'utiliser caml (light) dans son travail, mais on n'arre^te pas de lui mettre des ba^tons dans les roues. Le dernier a trait a` la simulation de re'seaux de te'le'com. Quelqu'un dans la communaute' caml a-t-il (elle) l'expe'rience de la re'alisation d'une bibliothe`que ou d'applications de simulation de ce type? L'environnement de travail est probablement un PC avec OS/2. Sur un plan plus personnel, y a-t-il quelque part un exemple d'interpre'tation abstraite (pour un langage impe'ratif de pre'fe'rence) en caml? Merci pour votre aide, jean-charles gregoire gregoire@inrs-telecom.uquebec.ca INRS-telecommunications 16, place du commerce Ile des Soeurs, Verdun, P.Q. H3E 1H6 tel: 1-514-765.7956 CANADA fax: 1-514-761.8501 --- Has anyone developed a library or an application for simulation (for telecommunication networks) in caml (light) that he/she would be would be willing to share? The work environment is most like a PC with OS/2. On a more personal side, does anyone have an example of abstract interpretation (for an imperative language) in caml? Thanks for any help, jean-charles gregoire gregoire@inrs-telecom.uquebec.ca INRS-telecommunications 16, place du commerce Ile des Soeurs, Verdun, P.Q. H3E 1H6 tel: 1-514-765.7956 CANADA fax: 1-514-761.8501