Personal tools
You are here: Home Projects SETL SETL2 Source code
Document Actions

Source code

Up one level
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. .
« October 2022 »
Su Mo Tu We Th Fr Sa
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: