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. .