|
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. .
-
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.
|
«
|
October
2024
|
»
|
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 |
|
|
|