Re: ML programming, anybody?

Article View: comp.lang.misc

Article #4730

#4730

From: Pierre Jouvelot
Date: Thu, 11 Jun 1987 18:12

32 lines
2028 bytes

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

Technical Details

Message-ID: <2346@mit-vax.LCS.MIT.EDU>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!gatech!hao!husc6!mit-eddie!mit-vax!jouvelot

References: <665@sbstaff2.UUCP>

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!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

Reply to Parent Message