Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!uakari.primate.wisc.edu!sdd.hp.com!caen!math.lsa.umich.edu!math.lsa.umich.edu!emv
From: jeffj@mcs213k.cs.umr.edu (Jeff Jenness)
Newsgroups: comp.archives
Subject: [comp.lang.misc] Re: SETL (SET Language) references wanted
Keywords: SETL
Message-ID: <1990Oct16.235505.1983@math.lsa.umich.edu>
Date: 16 Oct 90 23:55:05 GMT
Sender: emv@math.lsa.umich.edu (Edward Vielmetti)
Reply-To: jeffj@mcs213k.cs.umr.edu (Jeff Jenness)
Followup-To: comp.lang.misc
Organization: University of Missouri - Rolla
Lines: 36
Approved: emv@math.lsa.umich.edu (Edward Vielmetti)
X-Original-Newsgroups: comp.lang.misc

Archive-name: isetl/16-Oct-90
Original-posting-by: jeffj@mcs213k.cs.umr.edu (Jeff Jenness)
Original-subject: Re: SETL (SET Language) references wanted
Archive-site: clutx.clarkson.edu [128.153.4.3]
Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti)

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