Path: 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

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