From: Jean Charles Gregoire <gregoire@inrs-telecom.uquebec.ca>
To: caml-list@margaux.inria.fr
Subject: simulation
Date: Wed, 15 Mar 1995 11:08:34 -0500 [thread overview]
Message-ID: <199503151608.AA04077@velcro.inrs-telecom.uquebec.ca> (raw)
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
next reply other threads:[~1995-03-15 16:13 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-15 16:08 Jean Charles Gregoire [this message]
1995-03-15 17:17 ` simulation Pierre Weis
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199503151608.AA04077@velcro.inrs-telecom.uquebec.ca \
--to=gregoire@inrs-telecom.uquebec.ca \
--cc=caml-list@margaux.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox