Version française
Home     About     Download     Resources     Contact us    
Browse thread
simulation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean Charles Gregoire <gregoire@i...>
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