Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!gatech!hao!husc6!mit-eddie!mit-vax!jouvelot
From: jouvelot@mit-vax.LCS.MIT.EDU (Pierre Jouvelot)
Newsgroups: comp.lang.misc,comp.ai
Subject: Re: ML programming, anybody?
Message-ID: <2346@mit-vax.LCS.MIT.EDU>
Date: Thu, 11-Jun-87 14:12:40 EDT
Article-I.D.: mit-vax.2346
Posted: Thu Jun 11 14:12:40 1987
Date-Received: Sat, 20-Jun-87 10:26:58 EDT
References: <665@sbstaff2.UUCP>
Reply-To: jouvelot@mit-vax.UUCP (Pierre Jouvelot)
Organization: MIT Laboratory for Computer Science, Cambridge
Lines: 32
Summary: ML as a specification language
Xref: mnetor comp.lang.misc:449 comp.ai:540

In article <665@sbstaff2.UUCP> allen@sbstaff2.UUCP ( Allen Leung) writes:
>
>    Is there any one out there doing serious programming and/or research
> in ML (Meta Language)?  I would like to hear from you.
>
Yes (I guess) !!

I used it as an executable specification language for the semantic
parallelization of imperative programs during my PhD research in France 
(I'm currently a PostDoc in MIT/LCS Programming Research Group). The
overall program is about 3500 lines of ML code (with a few others in
FranzLisp and MLYacc). The overall idea is described in my POPL'87 paper
"Semantic Parallelization: A Practical Exercise in Abstract Interpretation"
where both the theory (abstract interpretation) and practice (use of ML)
are introduced (for courageous people, there is also my PhD thesis ... written
in french :-)

Note that I used the Cambridge/INRIA Version which is older and
slightly different from SML.  The main problem I had was related to
the lack of "real" separate-compilation facility. This should
disappear with newer versions that introduce modules. Besides this, ML is
a very fine language which should have a more widespread use.

Pierre
--
Pierre Jouvelot
Room NE43-403				ARPA:   jouvelot@xx.lcs.mit.edu
Lab for Computer Science		USENET: decvax!mit-vax!jouvelot
MIT						(or mcvax!litp!pj)
545, Technology Square
Cambridge, MA 02139
USA