Article View: comp.lang.misc
Article #1741Re: SETL (SET Language) references wanted
From: Jeff Jenness
Date: Tue, 16 Oct 1990 22:06
Date: Tue, 16 Oct 1990 22:06
30 lines
1608 bytes
1608 bytes
In article <6416@uceng.UC.EDU> dsims@uceng.UC.EDU (david l sims) writes:
>I'm looking for references to SETL (SET Language), the high-level
...
>Please e-mail or post. Thank you.
>
>David L. Sims
>dsims@uceng.uc.edu
There are 2 subsequent projects that might interest you.
1) The ISETL project at Clarkson University.
This is the project of Gary Levin of the Math / CSc Dept.
Primarily, he has implemented SETL within an interactive
environment on a number of platforms. The software, source
and documentation can be obtained at clutx.clarkson.edu.
2) The SETL2 project at New York University.
This is the project of W. Kirk Snyder of the Courant Institute
of Mathematical Sciences. I have obtained the language
definition (dated 1/8/90). Apparently there is software
available for a number of platforms also, but I have yet to
get my copy. (Anyone know of an anonymous ftp site?)
I am also interested what you are able to find out concerning other
projects.
--
Jeff Jenness
University of Missouri - Rolla
jeffj@cs.umr.edu
Technical Details
Message-ID:
<1474@umriscc.isc.umr.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!umriscc!mcs213k.cs.umr.edu!jeffjReferences:
<6416@uceng.UC.EDU>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!umriscc!mcs213k.cs.umr.edu!jeffj From: jeffj@mcs213k.cs.umr.edu (Jeff Jenness) Newsgroups: comp.lang.misc Subject: Re: SETL (SET Language) references wanted Summary: ISETL and SETL/2 Keywords: SETL Message-ID: <1474@umriscc.isc.umr.edu> Date: 16 Oct 90 22:06:32 GMT References: <6416@uceng.UC.EDU> Sender: news@umriscc.isc.umr.edu Organization: University of Missouri - Rolla Lines: 30