Source code

atkw_class_w_test.stl by Paul McJones — last modified 2021-02-25 11:15

"Syntactic and semantic conventions for the SETL widget class", with test.

DB_bs_wdoc.stl by Paul McJones — last modified 2021-02-25 11:21

"Specialized big string for storing word occurence lists."

DB_btree_bigs.stl by Paul McJones — last modified 2021-02-25 11:24

"B-tree variant for big_strings, with use of disk_records, cumulants in parent, refcounts."

DB_btree_dbix.stl by Paul McJones — last modified 2021-02-25 11:26

"B-tree variant for database index, 2 cumulants (cumulated record size, last rec. id) , refcounts."

DB_btree_wdix.stl by Paul McJones — last modified 2021-02-25 11:28

"B-tree variant for word index, with 2 cumulants (no. of occs, last wd. in parent), refcounts."

DB_btree_wdoc.stl by Paul McJones — last modified 2021-02-25 11:30

"B-tree variant for word occurence_strings, with 2 cumulants in parent, refcounts."

DB_byteutil.stl by Paul McJones — last modified 2021-02-25 11:31

Byte string and integer conversion functions.

DB_database.stl by Paul McJones — last modified 2021-02-25 11:33

The main big strings and database implementation, with test.

DB_records.stl by Paul McJones — last modified 2021-02-25 11:38

"Fourth disk record variant, allowing cumulants to be kept in parents."

setl_bigstrings_and_database.zip by Paul McJones — last modified 2021-02-25 11:41

Jack Schwartz. Big strings and database implementation in SETL. Given to Annie Liu on 4 February 2009.

AEtnaNova_main.stl by Paul McJones — last modified 2021-02-26 20:18

 

AEtnaNova_ELEM_collection.stl by Paul McJones — last modified 2021-02-26 20:20

 

EtnaNova_ELEM_supplement.stl by Paul McJones — last modified 2021-02-26 20:21

 

E.G.Omodeo, D.Cantone, A.Policriti, and J.T.Schwartz. AEtnaNova/Referee proof assistant. Source code, documentatation, etc. . by Paul McJones — last modified 2021-02-26 20:23

E.G.Omodeo, D.Cantone, A.Policriti, and J.T.Schwartz. AEtnaNova/Referee proof assistant. Source code, documentatation, etc. .

Robert Paige. APTS source code. SETL2 source. 5 September 1999. From Deepak Goyal (Paige's last student), via Annie Liu. by Paul McJones — last modified 2022-10-14 15:12

Robert Paige. APTS source code. SETL2 source. 5 September 1999. From Deepak Goyal (Paige's last student), via Annie Liu, who last used it for programming assignments and course projects in Spring 2005 and for demos in Spring 2006 and 2008.