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