Index of /~leavens/ComS342/OLD/Spring2005/lib342
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory 25-Jun-2009 19:04 -
![[ ]](/icons/unknown.gif)
1.scm 09-Apr-2002 18:25 3k
2-2-1.scm 09-Apr-2002 18:25 1k
2-2-2.scm 09-Apr-2002 18:25 1k
2-3-2.scm 09-Apr-2002 18:25 1k
2-3-3.scm 09-Apr-2002 18:25 1k
2-3-4.scm 09-Apr-2002 18:25 2k
2-4.scm 09-Apr-2002 18:25 1k
2-unify.scm 09-Apr-2002 18:25 4k
3-1-modified-in-clas..> 04-May-2005 02:31 7k
3-1.scm 04-May-2005 02:31 5k
3-4-modified-in-clas..> 04-May-2005 02:31 8k
3-4.scm 04-May-2005 02:31 7k
3-5-modified-in-clas..> 04-May-2005 02:31 9k
3-5-reducer.scm 04-May-2005 02:31 23k
3-5.scm 04-May-2005 02:31 9k
3-6-basis.scm 04-May-2005 02:31 10k
3-6-letrec1.scm 24-Mar-2005 14:52 2k
3-6-letrec2.scm 04-May-2005 02:31 2k
3-6-letrec3.scm 21-Mar-2005 17:09 3k
3-6.scm 09-Apr-2002 18:25 1k
3-7-modified-in-clas..> 04-May-2005 02:31 11k
3-7.scm 04-May-2005 02:31 11k
3-8-expressed-value.scm 04-May-2005 02:31 2k
3-8name.scm 04-May-2005 02:31 15k
3-8need.scm 04-May-2005 02:31 15k
3-8ref.scm 04-May-2005 02:31 14k
3-9-modified-in-clas..> 04-May-2005 02:31 14k
3-9.scm 04-May-2005 02:31 14k
4-2.scm 09-Apr-2002 18:25 14k
4-3.scm 09-Apr-2002 18:25 18k
4-4.scm 09-Apr-2002 18:25 24k
5-3.scm 04-May-2005 02:31 19k
5-4-1.scm 04-May-2005 02:31 24k
5-4-2.scm 04-May-2005 02:31 23k
5-4-3.scm 04-May-2005 02:31 26k
5-4-4.scm 04-May-2005 02:31 27k
6-checker.scm 09-Apr-2002 18:25 27k
6-grammar.scm 09-Apr-2002 18:25 5k
6-interp.scm 09-Apr-2002 18:25 19k
6-top.scm 09-Apr-2002 18:25 2k
6-translator.scm 09-Apr-2002 18:25 10k
7-1.scm 09-Apr-2002 18:25 9k
7-2a.scm 09-Apr-2002 18:25 9k
7-2b.scm 09-Apr-2002 18:25 8k
7-3.scm 09-Apr-2002 18:25 11k
7-4.scm 09-Apr-2002 18:25 12k
7-5.scm 09-Apr-2002 18:25 17k
7-6.scm 09-Apr-2002 18:25 10k
8-4.scm 09-Apr-2002 18:25 15k
8-4danvy.scm 09-Apr-2002 18:25 14k
8-5.scm 09-Apr-2002 18:25 16k
8-5print.scm 09-Apr-2002 18:25 15k
8-5set.scm 09-Apr-2002 18:25 17k
Makefile 12-Mar-2005 21:44 4k
add1-to-each.scm 28-Jan-2004 19:21 1k
add1-to-each.tst 29-Jan-2004 00:06 1k
![[ ]](/icons/p.gif)
adjust-html-file.pl 12-Mar-2005 21:44 2k
all-mod.scm 22-Mar-2005 13:08 1k
all-tests.scm 09-Apr-2002 18:25 3k
all.scm 22-Mar-2005 13:09 1k
aop-3-7.scm 04-May-2005 02:31 18k
aop-3-7.tst 07-Jan-2005 12:47 3k
arith-expr-examples.scm 29-Mar-2004 12:47 2k
arith-expr-examples.tst 29-Mar-2004 12:47 4k
arith-expr.scm 02-Mar-2005 19:18 2k
atomic-exp.scm 22-Mar-2005 13:09 3k
atomic-expression.scm 17-Feb-2005 22:08 3k
atomic-tree.scm 17-Feb-2005 22:08 3k
atomic.scm 17-Feb-2005 12:58 1k
bexp.scm 17-Feb-2005 12:58 4k
bexp.tst 17-Feb-2005 22:08 1k
![[DIR]](/icons/folder.gif)
bin/ 05-Mar-2005 15:44 -
bintree.scm 09-Apr-2002 18:25 1k
cell.scm 28-Mar-2005 14:38 2k
cell.tst 17-Feb-2005 22:08 1k
chez-init.scm 17-Feb-2005 12:58 1k
chez-localize-exampl..> 17-Feb-2005 14:13 1k
chez.init 22-Jan-2004 01:23 12k
![[ ]](/icons/script.gif)
collect-grammar.sh 12-Mar-2005 21:44 1k
collected-grammar.te..> 30-Mar-2005 23:11 5k
combinator-lambda-1-..> 09-Apr-2002 18:25 2k
combinator-term.scm 09-Apr-2002 18:25 2k
combinator-tools.scm 09-Apr-2002 18:25 4k
combinators.scm 09-Apr-2002 18:25 1k
copy.scm 28-Jan-2004 19:18 1k
copy.tst 29-Jan-2004 00:06 1k
define-datatype.scm 09-Apr-2002 18:25 19k
define-datatype.tst 09-Apr-2002 18:25 9k
delete-even.scm 28-Jan-2004 23:53 1k
delete-even.tst 28-Jan-2004 23:53 1k
displayln.def 09-Apr-2002 18:25 1k
displayln.scm 17-Feb-2005 12:58 1k
dot-notation.scm 09-Apr-2002 18:25 1k
dot-notation.tst 09-Apr-2002 18:25 1k
double-size.scm 05-Feb-2005 23:33 1k
double-size.tst 05-Feb-2005 23:33 2k
drscheme-eopl-teachp..> 17-Feb-2005 12:58 1k
drscheme.init 07-Jan-2005 14:29 1k
drscheme/ 19-May-2005 13:53 -
environment-3-7.scm 13-Apr-2005 22:24 3k
environment-5-4-2.scm 13-Apr-2005 18:33 3k
environment-as-ast.scm 21-Mar-2005 17:09 1k
environment-as-ast.tst 03-Mar-2005 17:58 1k
environment-as-proc.scm 21-Mar-2005 17:09 1k
environment-as-proc.tst 03-Mar-2005 17:58 1k
environment-as-ribca..> 21-Mar-2005 17:09 2k
environment-as-ribca..> 03-Mar-2005 17:58 1k
environment.tst 03-Mar-2005 17:58 1k
ex3-7-expressed-valu..> 07-Mar-2005 01:38 1k
fix.scm 09-Apr-2002 18:25 1k
grav-force.scm 09-Apr-2002 18:25 1k
ignore-mod.scm 28-Mar-2005 01:31 1k
indirect-arrays.scm 27-Mar-2005 18:26 1k
indirect-arrays.tst 27-Mar-2005 18:26 1k
info.ss 30-Mar-2005 01:48 1k
inject-extract.scm 08-Mar-2005 23:06 1k
iota.scm 22-Apr-2004 23:47 1k
iseq-map.scm 17-Feb-2005 22:08 1k
iseq-map.tst 06-Feb-2005 01:39 1k
iseq.scm 17-Feb-2005 12:58 1k
iseq.tst 06-Feb-2005 01:39 1k
lambda-1-exp-as-ast.scm 09-Apr-2002 18:25 3k
lambda-1-exp-example..> 09-Apr-2002 18:25 3k
lambda-1-exp-example..> 09-Apr-2002 18:25 3k
lambda-1-exp.scm 17-Feb-2005 12:58 5k
lambda-1-exp.tst 17-Feb-2005 22:08 1k
lambda-1-quote-exp-a..> 28-Feb-2005 15:49 3k
lambda-1-quote-exp-e..> 17-Feb-2005 22:08 2k
lambda-1-quote-exp-e..> 16-Feb-2005 06:20 2k
lambda-1-quote-exp.scm 17-Feb-2005 12:58 6k
lambda-1-quote-exp.tst 17-Feb-2005 22:08 2k
lambda-if-exp-exampl..> 17-Feb-2005 12:37 3k
lambda-if-exp-exampl..> 17-Feb-2005 12:37 2k
lambda-if-exp.scm 11-Apr-2005 02:11 8k
larceny-init.scm 09-Apr-2002 18:25 1k
length.scm 28-Jan-2004 19:19 1k
length.tst 29-Jan-2004 00:06 1k
lexical-addr-exp.scm 11-Apr-2005 02:11 9k
lexical-addr-exp.tst 17-Feb-2005 22:08 5k
lexical-addr.scm 11-Apr-2005 02:11 2k
lexical-addr.tst 17-Feb-2005 22:08 1k
list-index-find.scm 21-Mar-2005 16:58 1k
list-index.scm 21-Mar-2005 17:09 1k
little-schemer.scm 09-Apr-2002 18:25 1k
little-schemer.tst 09-Apr-2002 18:25 1k
load-from-lib.scm 17-Feb-2005 12:58 2k
localize-example.scm 17-Feb-2005 12:58 1k
make-all-positive.scm 28-Jan-2004 23:53 1k
make-all-positive.tst 28-Jan-2004 23:53 1k
map.scm 28-Jan-2004 19:22 1k
map.tst 29-Jan-2004 00:06 1k
mapcdr.scm 28-Jan-2004 23:53 1k
mapcdr.tst 28-Jan-2004 23:53 1k
matrix-ops.scm 22-Mar-2005 13:09 2k
matrix-ops.tst 17-Feb-2005 22:08 1k
maybe.scm 17-Feb-2005 12:58 2k
maybe.tst 17-Feb-2005 22:08 1k
module-a.scm 17-Feb-2005 12:58 1k
module-b.scm 17-Feb-2005 22:08 1k
module-c.scm 17-Feb-2005 22:08 1k
module-d.scm 30-Mar-2005 01:48 1k
nat-leq.scm 09-Feb-2004 23:54 1k
nat-leq.tst 09-Feb-2004 23:54 1k
negate-bexp.scm 06-Feb-2005 01:18 1k
negate-bexp.tst 06-Feb-2005 01:18 1k
nth-element.scm 28-Jan-2004 23:53 1k
nth-element.tst 28-Jan-2004 23:53 1k
num-of.scm 09-Apr-2002 18:25 1k
phone-book-as-ast.scm 03-Mar-2005 18:05 1k
phone-book-as-ast.tst 03-Mar-2005 19:28 1k
phone-book-as-proc.scm 17-Feb-2005 12:58 1k
phone-book-as-proc.tst 03-Mar-2005 19:28 1k
phone-book-as-ribcag..> 18-Apr-2005 00:44 3k
phone-book-as-ribcag..> 03-Mar-2005 19:28 1k
phone-book.tst 03-Mar-2005 19:28 1k
phone-number.scm 08-Mar-2005 00:48 3k
phone-number.tst 17-Feb-2005 22:08 1k
pltscheme-init.scm 09-Apr-2002 18:25 1k
procval-as-proc.scm 16-Feb-2005 11:37 1k
product-tail-recursi..> 09-Apr-2002 18:25 1k
product.scm 09-Apr-2002 18:25 1k
r5rs.scm 09-Apr-2002 18:25 2k
ratl.scm 28-Mar-2005 12:04 1k
reference-3-7.scm 21-Mar-2005 16:24 1k
remove-named.scm 17-Feb-2005 18:34 2k
remove-named.tst 17-Feb-2005 18:33 2k
remove-sym-exp-test-..> 09-Apr-2002 18:25 1k
remove-sym-exp-with-..> 07-Feb-2005 12:41 1k
remove-sym-exp-with-..> 09-Apr-2002 18:25 1k
remove-sym-exp.scm 07-Feb-2005 12:41 1k
remove-sym-exp.tst 09-Apr-2002 18:25 1k
ribassoc.scm 21-Mar-2005 17:09 1k
road-map-as-ast.scm 03-Mar-2005 18:05 1k
road-map-as-ast.tst 17-Feb-2005 22:08 1k
road-map-as-proc.scm 03-Mar-2005 19:28 1k
road-map-as-proc.tst 17-Feb-2005 22:08 1k
road-map.tst 03-Mar-2005 19:28 1k
scheme48-init.scm 09-Apr-2002 18:25 1k
scm-init.scm 07-Jan-2005 14:01 1k
select-outerwear.scm 06-Feb-2005 01:39 1k
select-outerwear.tst 06-Feb-2005 01:39 1k
separate.scm 17-Feb-2005 12:58 1k
seq-as-ast.scm 03-Mar-2005 14:46 1k
seq-as-ast.tst 17-Feb-2005 22:08 1k
seq-as-proc.scm 03-Mar-2005 18:05 1k
seq-as-proc.tst 17-Feb-2005 22:08 1k
seq.tst 16-Feb-2005 06:20 1k
set-equal.scm 17-Feb-2005 12:58 2k
set-ops-as-vector.scm 28-Mar-2005 14:38 6k
simple-arith-expr.scm 17-Feb-2005 12:58 1k
slib-alist.scm 20-Apr-2005 01:10 6k
slib-hash.scm 20-Apr-2005 01:10 3k
slib-hashtab.scm 20-Apr-2005 01:10 6k
sllgen.scm 09-Apr-2002 18:25 76k
sllgen.tst 09-Apr-2002 18:25 5k
some.scm 09-Apr-2002 18:25 1k
standardize-chez.scm 05-Mar-2005 15:44 1k
standardize-drscheme..> 07-Mar-2005 01:38 1k
standardize-scm.scm 18-Jan-2005 12:19 1k
starting-part.scm 19-Jan-2005 21:06 1k
statement-expression..> 22-Mar-2005 13:09 5k
statement-expression..> 17-Feb-2005 22:08 2k
sub1.scm 09-Feb-2004 23:54 1k
subst.scm 07-Feb-2005 12:41 1k
subst.tst 06-Feb-2005 23:25 1k
sum.scm 09-Apr-2002 18:25 1k
sxml-helpers.scm 17-Feb-2005 18:42 14k
sxml-helpers.tst 17-Feb-2005 22:08 13k
sxml-node.scm 08-Mar-2005 14:25 6k
sxml-node.tst 17-Feb-2005 22:08 6k
sym-cell.scm 08-Mar-2005 00:48 1k
sym-cell.tst 17-Feb-2005 14:43 1k
sym-exp-cooked.scm 08-Mar-2005 00:48 4k
sym-exp-cooked.tst 17-Feb-2005 22:08 1k
sym-exp-test-guts.tst 07-Feb-2005 12:41 1k
sym-exp.scm 08-Mar-2005 00:48 3k
sym-exp.tst 17-Feb-2005 22:08 1k
targets.scm 10-Feb-2005 17:48 1k
targets.tst 10-Feb-2005 17:48 1k
tc-attrib-pair.scm 04-Mar-2005 01:56 1k
![[TXT]](/icons/text.gif)
tc-bugs.txt 19-May-2005 13:53 3k
tc-char-seq-as-list.scm 28-Feb-2005 01:58 1k
tc-char-seq-as-strea..> 28-Feb-2005 01:58 2k
tc-compute-cxr-types..> 12-Mar-2005 15:57 5k
tc-compute-global-va..> 12-Mar-2005 09:18 1k
tc-env.scm 07-Mar-2005 01:38 4k
tc-env.tst 01-Apr-2005 00:31 4k
tc-environments.scm 28-Mar-2005 18:18 3k
tc-error-output.scm 19-May-2005 13:53 13k
tc-eval.scm 12-Mar-2005 13:36 1k
tc-global-var-output..> 13-Apr-2005 22:24 49k
tc-global-var-types.scm 12-Mar-2005 15:57 1k
tc-hash-table.scm 01-Mar-2005 19:20 6k
tc-hash-table.tst 02-Mar-2005 12:14 3k
tc-ignore-types-at-r..> 21-Mar-2005 00:23 4k
tc-logical-variables..> 21-Mar-2005 00:23 2k
tc-output-type-expr.scm 28-Mar-2005 18:18 13k
tc-parsing-stream.scm 28-Feb-2005 01:58 2k
tc-position.scm 12-Mar-2005 09:18 6k
tc-qq-depth-stack.scm 28-Feb-2005 01:58 1k
tc-scheme-abstract-s..> 30-Mar-2005 23:11 42k
tc-scheme-annotate.scm 19-May-2005 13:53 77k
tc-scheme-annotate.tst 19-May-2005 13:53 13k
tc-scheme-parser-bad..> 12-Mar-2005 09:18 1k
tc-scheme-parser.scm 30-Mar-2005 23:11 98k
tc-scheme-parser.tst 21-Mar-2005 00:23 25k
tc-scheme-scanner.scm 02-Mar-2005 00:31 22k
tc-scheme-scanner.tst 12-Mar-2005 09:18 1k
tc-scheme-token.scm 02-Mar-2005 00:31 2k
tc-scheme-unparser.scm 30-Mar-2005 23:11 22k
tc-subst.scm 19-May-2005 13:53 18k
tc-subst.tst 21-Mar-2005 00:23 4k
tc-token-seq-as-list..> 28-Feb-2005 01:58 2k
tc-token-seq-as-stre..> 28-Feb-2005 01:58 2k
tc-tracing.scm 12-Mar-2005 11:53 1k
tc-tree.scm 01-Apr-2005 00:31 2k
tc-type-check-and-ev..> 19-May-2005 13:53 6k
tc-type-helpers.scm 19-May-2005 13:53 20k
tc-type-helpers.tst 19-May-2005 13:53 13k
tc-type-translate.scm 19-May-2005 13:53 21k
tc-type-translate.tst 12-Mar-2005 15:57 7k
tc-types.scm 01-Apr-2005 00:31 53k
tc-types.tst 01-Apr-2005 00:31 6k
tc-util.scm 30-Mar-2005 23:11 7k
temperature.scm 17-Feb-2005 12:58 1k
temperature.tst 17-Feb-2005 22:08 1k
test-harness.scm 09-Apr-2002 18:25 8k
test-homework.scm 21-Feb-2005 14:32 7k
test-suite.scm 09-Apr-2002 18:25 56k
test.scm 07-Feb-2005 01:23 1k
translate-module-syn..> 30-Mar-2005 23:11 14k
type-check-ignore-ty..> 12-Apr-2005 14:51 2k
type-check-ignore-ty..> 12-Apr-2005 12:55 2k
type-check-infer-bad..> 22-Jan-2004 01:26 9k
type-check-infer-bad..> 22-Jan-2004 01:26 9k
type-check-infer.out..> 22-Jan-2004 01:26 4k
type-predicates.def 09-Apr-2002 18:25 2k
type-predicates.scm 09-Apr-2002 18:25 3k
typecase-cloneupto-5..> 27-Apr-2005 23:39 29k
![[IMG]](/icons/image2.gif)
typedscm-icon-small.gif 29-Mar-2005 18:46 1k
typedscm-icon.gif 30-Mar-2005 01:48 1k
typedscm-tool.ss 30-Mar-2005 23:11 4k
typedscm.aux 30-Mar-2005 23:12 5k
typedscm.cp 30-Mar-2005 23:12 0k
typedscm.fn 30-Mar-2005 23:12 0k
typedscm.ky 30-Mar-2005 23:12 0k
typedscm.log 30-Mar-2005 23:12 5k
![[ ]](/icons/layout.gif)
typedscm.pdf 30-Mar-2005 23:12 151k
typedscm.pg 30-Mar-2005 23:12 0k
typedscm.ss 30-Mar-2005 01:48 5k
typedscm.texinfo 30-Mar-2005 23:11 67k
typedscm.toc 30-Mar-2005 23:12 2k
typedscm.tp 30-Mar-2005 23:12 0k
typedscm.vr 30-Mar-2005 23:12 0k
typedscm/ 30-Mar-2005 23:11 -
unary-notation.scm 09-Feb-2004 23:54 1k
unary-notation.tst 09-Feb-2004 23:54 1k
valid-number.scm 06-Feb-2005 01:18 2k
valid-number.tst 06-Feb-2005 01:18 1k
vector-generator.scm 17-Feb-2005 12:58 1k
vector-generator.tst 17-Feb-2005 22:08 1k
vector-map-bang.scm 09-Apr-2002 18:25 1k
vector-map.scm 09-Apr-2002 18:25 1k
vector-map.tst 09-Apr-2002 18:25 1k
whos-on-first.scm 09-Apr-2002 18:25 9k
window-layout.scm 22-Mar-2005 13:09 3k
window-layout.tst 17-Feb-2005 22:08 2k
writeln.def 09-Apr-2002 18:25 1k
writeln.scm 17-Feb-2005 12:58 1k
y.scm 17-Feb-2005 12:58 1k
A DIRECTORY OF FILES USED TO RUN (TYPED) INTERPRETERS
FOR SECOND EDITION OF THE BOOK
ESSENTIALS OF PROGRAMMING LANGUAGES
(File $Date: 2005/02/17 19:03:57 $)
Gary T. Leavens
Department of Computer Science, Iowa State University
leavens@cs.iastate.edu
The files in this directory go with the second edition of the book
Essentials of Programming Languges,book by Friedman, Wand, and Haynes
(MIT Press, 2001). They work under DrScheme (MzScheme) and Chez Scheme.
This file documents the organization of the files,
in terms of what to load from where.
The interpreter files for each section of the book are named after the
section of the book, or occasionally, after a figure in a section.
FILE FOR SECTION (OR FIGURE)
-----------------------------
3-1.scm 3.1
3-3.scm 3.3
3-4.scm 3.4
3-3.scm 3.5
(etc.)
To display the organization in discussions below,
we use the notation:
A
B
|
C
which means that file C.scm loads both A.scm and B.scm.
For ADTs, we use the following.
environment-as-ribcage cell array
The *.def files, such as displayln.def, are used by our type checker,
found in type-check*.scm. If you are not doing type checking using it,
you can safely ignore these files. However, if you're not using the
type checker, you will need to also load the file
type-check-ignore-types-at-runtime.scm, if you are using Chez Scheme,
or drscheme/type-check-ignore-types-at-runtime.scm if you are using DrScheme.
For our type checker to work, we have to include in the code
the define-datatype declarations instead of just having SLLGEN
generate them. The SLLGEN specification of the grammar is pushed off
into a *-grammar.scm file, so as not to clutter up the main file too much.
Each interpreter uses a file that defines its denoted and expressed
values as ADTs. There are, for example, 3-1-denoted-value.scm and
3-1-expressed-value.scm, for the interpreter of section 3.1
The remaining details on 3-1.scm are as follows.
inject-extract
|
3-1-grammar 3-1-denoted-value
environment-as-ribcage 3-1-expressed-value
\ /
3-1
The file localize.scm in the current directory has to be tailored
along the lines described in localize-example.scm to define various
global variables used by other files. You may have not received this
file, since it's not included in the zip files. If so, you need to
create one using localize-example.scm as an example.
Then, to work with DrScheme, you must install this directory under
PLT/collects in a subdirectory named lib342. So this directory would
be PLT/collects/lib342. Then either select the typedscm language or
use the drscheme-eopl-teachpack.scm file as a teachpack. If you use
the teachpack you have to select the MzScheme language first. You
can't use the teachpack with the Typedscm language.
To work with Chez Scheme, besides making localize.scm, you also need
to create a file chez-localize.scm and define the path in that file.
See the file chez-localize-example.scm for an example.
To use Chez Scheme, you need to use a (Unix shell) script or batch
file like the following...
#! /bin/sh
: ${PLTCOLLECTS='/opt/plt/collects/'}
: ${SCHEME_LIBRARY_PATH="$PLTCOLLECTS/slib/"}
export SCHEME_LIBRARY_PATH
exec scheme "$PLTCOLLECTS/lib342/chez-localize.scm" "$PLTCOLLECTS/lib342/translate-module-syntax.scm" "$PLTCOLLECTS/lib342/standardize-chez.scm" "$PLTCOLLECTS/lib342/type-check-and-eval.scm" "$@"
The chez-localize.scm file has to be loaded first.
The file translate-module-syntax.scm translates the subset of
MzScheme's module syntax that we use into Chez Scheme's syntax. It's
important to load that second. The file standardize-chez.scm is used
when the Chez Scheme interpreter is used. There is a similar file for
DrScheme. The type-check-and-eval.scm starts the (old) type checker,
tc-eval.scm the one under development. If you don't want to do that
use instead the file type-check-ignore-types-at-runtime.scm.
See the bin directory for various example versions of these scripts.