Date: Wed, 15 Mar 1995 11:08:34 -0500
From: Jean Charles Gregoire <gregoire@inrs-telecom.uquebec.ca>
Message-Id: <199503151608.AA04077@velcro.inrs-telecom.uquebec.ca>
To: caml-list@margaux.inria.fr
Subject: simulation
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