Re: Larch for SML

Article View: comp.specification

Article #107

Back to comp.specification Previous Next

#107

From: Don Sannella
Date: Wed, 26 Aug 1992 17:02

26 lines
1506 bytes

In article <1992Aug25.141510.28180@ibmpa.awdpa.ibm.com>, wkh@austin.ibm.com writes:
> 
> Is anyone aware of work on a Larch interface language for SML?
> Seems like it would be a natural thing to do given the SML module
> system.

See:

    Jeannette Wing, Eugene Rollins and Amy Zaremski. Thoughts on a Larch/ML
    and a new application for LP.  CMU report CMU-CS-92-135, May 1992.

I can't help adding an advertisement for Extended ML, a specification and
formal development framework for SML which we have been working on for a number
of years.  See for example:

    Don Sannella.  Formal program development in Extended ML for the working
    programmer.  Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park, 1990.
    Springer Workshops in Computing, 99-130 (1991).

which is available by anonymous ftp from internet host ftp.dcs.ed.ac.uk
(address 129.215.160.5), directory pub/dts, file bcs.ps.Z (this is a
compressed Postscript file; don't forget to issue the command "binary"
before fetching it).

Don Sannella
University of Edinburgh

Technical Details

Message-ID: <42361@skye.dcs.ed.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!dts

References: <1992Aug25.141510.28180@ibmpa.awdpa.ibm.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!dts
From: dts@dcs.ed.ac.uk (Don Sannella)
Newsgroups: comp.specification
Subject: Re: Larch for SML
Keywords: Larch, SML, Extended ML
Message-ID: <42361@skye.dcs.ed.ac.uk>
Date: 26 Aug 92 17:02:41 GMT
References: <1992Aug25.141510.28180@ibmpa.awdpa.ibm.com>
Sender: nnews@dcs.ed.ac.uk
Organization: Department of Computer Science, University of Edinburgh
Lines: 26

Reply to Parent Message