jeffj@mcs213k.cs.umr.edu (Jeff Jenness) (10/17/90)
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
willi@unieinf.UUCP (Wilhelm Hasselbring) (10/25/90)
Archive-name: setl2/23-Oct-90 Original-posting-by: willi@unieinf.UUCP (Wilhelm Hasselbring) Original-subject: Re: SETL (SET Language) references wanted Archive-site: cs.nyu.edu [128.122.140.24] Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti) In article <1474@umriscc.isc.umr.edu> jeffj@mcs213k.cs.umr.edu (Jeff Jenness) writes: > ... > 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?) You can get the system on cs.nyu.edu (128.122.140.24). > I am also interested what you are able to find out concerning other > projects. 3) The SETL/E project at the University of Essen. This system is actually under development. At the moment the language definition is only available in german. Willi
snyder@acf5.NYU.EDU (W. Kirk Snyder) (05/06/91)
Archive-name: languages/set-langauges/setl2/1991-05-02 Archive-directory: cs.nyu.edu:/pub/setl2/ [128.122.140.24] Original-posting-by: snyder@acf5.NYU.EDU (W. Kirk Snyder) Original-subject: Re: SETL Reposted-by: emv@msen.com (Edward Vielmetti, MSEN) rwahbe@madrone.Berkeley.EDU (Robert Wahbe) writes: >Does anybody know where I can get a setl compiler or interpreter? >I have access to Sun3, Sun4 and Dec3100 machines. >Thanks in advance, >Robert I don't think NYU distributes SETL anymore, but you can get the authoritative word on that by writing to Matthew Smosna (smosna@cs.nyu.edu). It only runs on Sun3's, of the machines you mentioned. SETL2 will run on any of the machines you have. You can get the system and documentation in PostScript format via anonymous ftp at cs.nyu.edu. -- Kirk Snyder -- comp.archives file verification cs.nyu.edu total 13320 -rw-r--r-- 1 4019 859461 Apr 30 21:45 Mt-Xinu.tar.Z -rw-rw-rw- 1 4019 872201 Apr 29 22:39 VAX-Ultrix.tar.Z -rw-r--r-- 1 4019 1097907 Apr 25 13:48 RS-6000.tar.Z -rw-r--r-- 1 4019 1202428 Apr 7 14:43 Sun4.tar.Z -rw-r--r-- 1 4019 1058180 Feb 20 14:24 Sun3.tar.Z -rw-r--r-- 1 4019 53706 Jan 21 21:58 zoo.doc -rw-r--r-- 1 4019 40078 Jan 21 21:58 zoo.exe -rw-r--r-- 1 4019 318716 Jan 21 21:58 os2-4.zoo -rw-r--r-- 1 4019 307823 Jan 21 21:58 os2-3.zoo -rw-r--r-- 1 4019 236652 Jan 21 21:58 os2-2.zoo -rw-r--r-- 1 4019 195489 Jan 21 21:58 os2-1.zoo -rw-r--r-- 1 4019 318696 Jan 21 21:15 dos286-4.zoo -rw-r--r-- 1 4019 307823 Jan 21 21:15 dos286-3.zoo -rw-r--r-- 1 4019 236829 Jan 21 21:15 dos286-2.zoo -rw-r--r-- 1 4019 292195 Jan 21 21:15 dos286-1.zoo -rw-r--r-- 1 4019 323826 Jan 21 20:29 dos-4.zoo -rw-r--r-- 1 4019 307823 Jan 21 20:29 dos-3.zoo -rw-r--r-- 1 4019 242598 Jan 21 20:29 dos-2.zoo -rw-r--r-- 1 4019 198365 Jan 21 20:29 dos-1.zoo -rw-r--r-- 1 4019 1220024 Jan 21 19:24 Iris.tar.Z -rw-r--r-- 1 4019 1271293 Jan 21 18:44 DEC-RISC.tar.Z -rw-r--r-- 1 4019 11189 Nov 29 15:12 README -rw-r--r-- 1 4019 835360 Sep 30 1990 Next.tar.Z -rw-r--r-- 1 4019 153484 Sep 24 1990 MacSETL2-part4.hqx -rw-r--r-- 1 4019 209561 Sep 24 1990 MacSETL2-part3.hqx -rw-r--r-- 1 4019 209253 Sep 24 1990 MacSETL2-part2.hqx -rw-r--r-- 1 4019 209241 Sep 24 1990 MacSETL2-part1.hqx -rw-r--r-- 1 4019 766116 Sep 23 1990 VMS.ZOO found setl2 ok cs.nyu.edu:/pub/setl2/