CSCI620/dictionary on Thu May 27 16:11:31 PDT 2004

[CSUSB] >> [CNS] >> [Comp Sci Dept] >> [R J Botting] >> [CSci620] >> [Source]
[Index] [Schedule] [Syllabi] [Text] [Labs] [Projects] [Resources] [Search] [Grading]
Notes: [01] [02] [03] [04] [05] [06] [07] [08] [09] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
Thu May 27 16:11:32 PDT 2004

1 :while
1 Recursion and activation records :lab10
2a :denotational
2b :denotational
2 Parameter passing :lab10
2 Years after UML Standard Sinan Si Alhir :languages
3a :denotational
3b :denotational
43.1 :fixed
43.2 :fixed
43.3 :fixed
43.4.1 :fixed
43.4.2 :fixed
43.4.4 :fixed
43.4 :fixed
43.5.1 :fixed
43.5 :fixed
a1 equivalent a2 :while
a :04
A^* :04
a :Minsky
A :while
A+B :04
A Binary Search :lab15
ab_ns :operational
ab_sos :operational
Abstract Syntax :Minsky
Abstract Syntax :while
Acknowledgment :08
ACL2 :languages
A Cryptarithm Puzzle :lab18
Action :languages
Activation Records :10
Ada :languages
Ada :resources
Ada for C/C++ people :languages
Adasoft :languages
Adding Functions to Prolog :lab19
Adding RAM to Prolog :lab19
Adding Rational Numbers to Prolog :lab19
Admissions and Records :lab19
Advanced Features of LISP :15
A Graphic Applet :lab13
A -> B :04
A><B :04
A Hint about the Final Exam :index
:01
:02
:03
:04
:05
:06
:07
:08
:09
:10
:11
:12
:13
:14
:15
:16
:17
:18
:19
:20
:denotational
:final
:index
:intro
:lab06
:lab07
:lab08
:lab09
:lab10
:lab11
:lab12
:lab13
:lab14
:lab15
:lab16
:lab17
:lab18
:lab19
:lab20
:labs
:languages
:Minsky
:projects
:resources
:schedule
:standard.include
:syllabi
:text
:while
Algol60 :languages
Also see :resources
alternative_to_Bexp :denotational
A<<e>> s :while
A Macros For? :14
Ambiguity :03
A Modern Version :lab11
Analsysis, Modeling and Design :languages
An Application that runs an Applet! :lab11
An example of top-down design in LISP :lab15
Any news of Java 1.5? :11
a;P :languages
A Paradox :denotational
APL :languages
Applet :lab11
Application :lab11
Applications :lab12
A Prototype Advising Program :lab19
Are Ada Packages like C++ classes? :11
Are all user defined types non-scalar? :09
Are Constructors inherited? :11
Are there any object oriented aspects to LISP :14
arity :lab19
Arizona university USA :languages
A Second Applet :lab11
A Simple Data Base :lab18
A Simple Data Base :lab19
ASP Active Server Pages :languages
ass_dvp_ns :operational
assigned work :syllabi
assignment :intro
Assignment and Sequence :intro
ass_ns :operational
Association Lists :15
ass_sos :operational
ass_svp_ns :operational
A Student Records database :lab19
A Third Silly Application :lab11
A Tool for Programming :lab19
At the bottom of page 171, are the answers correct? :14
At the bottom of page 171, is there a blip missing? :14
Attributes of a good language :08
Author :text
Axiomatic Semantics :05
a XML :languages
Back ground :03
Backus-Naur Form :03
Bags of Snow Cones :lab19
b :04
B :languages
b :Minsky
B :while
basic :Minsky
Basic Model :fixed
Basics :04
BASIS :operational
Basis of Denotational Semantics :denotational
BCPL :languages
Bexpp :while
Bibliography :languages
Bigger Hint :lab19
Binary_Number :03
Binary Search :lab19
BLOCK :operational
block_dvp_ns :operational
block_ns :operational
Blocks :operational
block_svp_ns :operational
Blocks with Procedures :operational
BNF :01
BNF :02
BNF :03
BNF :04
BNF :05
BNF :06
BNF :07
BNF :08
BNF :09
BNF :10
BNF :11
BNF :12
BNF :13
BNF :14
BNF :15
BNF :16
BNF :17
BNF :18
BNF :19
BNF :20
BNF :denotational
BNF :final
BNF :index
BNF :intro
BNF :lab06
BNF :lab07
BNF :lab08
BNF :lab09
BNF :lab10
BNF :lab11
BNF :lab12
BNF :lab13
BNF :lab14
BNF :lab15
BNF :lab16
BNF :lab17
BNF :lab18
BNF :lab19
BNF :lab20
BNF :labs
BNF :languages
BNF :Minsky
BNF :projects
BNF :schedule
BNF :syllabi
BNF :text
BNF :while
Book :17
Book's arguments for assoc are in a different order to XLISP and the handout? :15
BOOLEAN_ALGEBRA :denotational
BOOLEAN_ALGEBRA :fixed
BorderedLayout :lab13
bot :04
Brigham Young university BYU Utah USA :languages
bytecode :lab11
c :04
C :languages
C# :languages
C++ :languages
c :Minsky
C :resources
Call-by-value vs call-by-reference :10
call_dvsp_ns :operational
call_dvsp_rec_ns :operational
call_rec_dvp_ns :operational
call_rec_svp_ns :operational
call_svp_ns :operational
Can an algorithm or program test if a problem is tractable or not. :02
Can LISP be Infix or Postfix :14
Cantor's Enumeration of Pairs :lab19
Can we add polymorphism to Java? :12
Can we run out of memory before a program starts? :09
Can we write a program in two languages at once :01
Can you define Syntax and Semantics :02
Can you define what is needed in the laboratory today :02
Can you do exercise 4 on pages 31 and 32 :03
Can you do exercise 6? :16
Can you explain how to prove that all GOTOs can be removed from a program. :08
Can you explain the rules about negation on page 21 :03
Can you give examples of D1->D2 on page 44. :04
Can you give examples of the two fundamental approaches to syntax analysis page 26 :03
Can you instantiate an abstract class? :11
car :lab15
card :denotational
cardinality :denotational
carriages :06
cdr :lab15
chain :fixed
Chalmers University of Technology Goteborg Sweden :languages
Changes in OO Languages :11
Change Your HelloWorld Applet :lab12
Changing Functions :04
Chaos :lab13
charity :languages
cheatsheet :final
Check out New things on the Course Web Page :18
Check out New things on the Course Web Page :lab11
Check out New things on the Course Web Page :lab12
Check out New things on the Course Web Page :lab13
Check out New things on the Course Web Page :lab15
Check out New things on the Course Web Page :lab16
Check out New things on the Course Web Page :lab17
Check out New things on the Course Web Page :lab19
Checks Pattern Language of Information Integrity :languages
Chomsky Hierarchy :03
Classical Algorithm :lab18
CLOS :14
COBOL :languages
COBOLScript :languages
color :resources
Combinatorics :lab19
Comment on chapter 3 :04
comp_1_sos :operational
comp_2_sos :operational
Compare the Common Language Run-time and the JVM. :12
comp_dvp_ns :operational
compiler :06
comp.infosystems.www.authoring :languages
comp.lang :languages
Complementarity :intro
comp_ns :operational
comp.object :languages
Composing Functions :14
composition :denotational
Compositional Semantics :while
composition of partial functions :fixed
comp.software-eng :languages
comp.specification :languages
comp_svp_ns :operational
comp.text :languages
Computer Science Carnegie Mellon University CMU USA :languages
Conclusion :18
Concrete Syntax :Minsky
Concurrency :lab13
Concurrent structures :13
Content :01
Contents :01
Contents :02
Contents :03
Contents :04
Contents :05
Contents :06
Contents :07
Contents :08
Contents :09
Contents :10
Contents :11
Contents :12
Contents :13
Contents :14
Contents :15
Contents :16
Contents :17
Contents :18
Contents :19
Contents :20
Contents :denotational
Contents :final
Contents :fixed
Contents :index
Contents :intro
Contents :lab06
Contents :lab07
Contents :lab08
Contents :lab09
Contents :lab10
Contents :lab11
Contents :lab12
Contents :lab13
Contents :lab14
Contents :lab15
Contents :lab16
Contents :lab17
Contents :lab18
Contents :lab19
Contents :lab20
Contents :labs
Contents :languages
Contents :Minsky
Contents :operational
Contents :projects
Contents :resources
Contents :schedule
Contents :standard.include
Contents :syllabi
Contents :text
Contents :while
Continuous Functional :fixed
Could Quads (page 69) be mapped into Byte Code :06
CPL :languages
cpos :fixed
CPU Eaters :lab13
Creating new functions :lab15
CS620: First Java Laboratory :lab11
CS620: Java Applets :lab13
CS620 Lab 14 LISP101 :lab14
CS620 Laboratory 6 :lab06
CS620 Laboratory 7 :lab07
CS620 Laboratory 8 The Joys of FORTRAN IV :lab08
CS620 Laboratory 9 A Simple Symbol Table :lab09
CS620 LISP Laboratory Number 2 :lab15
CS620 LISP Laboratory Number 3 :lab16
CS620 Programming Languages Theory :syllabi
CS620 Programming Language Theory Postgraduate Comp Sci CSUSB :languages
CS620 Prolog Examples :lab19
CS620: Second Java Laboratory -- Applications :lab12
CS620 Session 10 Subprograms :10
CS620 Session 11 OO and Java101 :11
CS620 Session 12 Java102 :12
CS620 Session 13 Java103 :13
CS620 Session 14 LISP101 :14
CS620 Session 15 LISP 102 :15
CS620 Session 16 LISP 103 :16
CS620 Session 9 Imperative languages and Pascal :09
CSci620 Final :final
CSci620 Laboratory 10 Functions in C++ :lab10
CSci620 Programing Languages -- 17 -- Hello, Prolog! :17
CSci620 Programing Languages -- 18 -- Goodbye, Prolog! :18
CSci620 Programing Languages -- 19 -- Presentations :19
CSci620 Programing Languages -- 20 -- Presentations :20
CSci620 Programming Languages -- Hello, Prolog! :lab17
CSci620 Programming Languages -- Laboratory 20 -- Presentations and Review :lab20
CSci620 Programming Languages -- More, Prolog :lab18
CSci620 Programming Language Theory :index
CSci620 Programming Language Theory Laboratories :labs
CSci620 Programming Language Theory Resources :resources
CSci620 Programming Language Theory Schedule :schedule
CSci620 Projects and Presentations :projects
CSci620 Session 01 :01
CSCI620 Session 2 :02
CSCI620 Session 3 :03
CSCI620 Session 4 :04
CSCI620 Session 5 :05
CSCI620 Session 6 :06
CSCI620 Session 7 :07
CSCI620 Session 8 :08
CSci620 Syllabus :syllabi
CSci620 Text Book :text
CtrlC :languages
CUBE :languages
Cut :18
D :03
d :04
D :denotational
d :Minsky
D :while
Data Parallelisms :13
Data structures :17
Data Types :09
Dcp :operational
Dcv :operational
Deadline :lab17
Deadline :lab18
Deadline :lab19
Default Editor :lab17
Define procedure and function :06
Define the abbreviated names for domains :05
Definition of Semantic map A :while
Definition of Semantic Map B :while
Definition of the loop semantics :denotational
Deliverable :lab13
Deliverable :lab14
Deliverable :lab17
Deliverable :lab18
Deliverable :lab19
Deliverables :lab12
Deliverables :lab15
Deliverables :lab16
Demo Message Passing Concurrency :13
Demonstration 1 :lab11
Demonstration 2 :lab11
Den1 :denotational
Den2 :denotational
Den3 :denotational
Denotational Semantics :04
Denotational Semantics :05
Denotational semantics :denotational
denotational_semantics :fixed
Denotations :resources
Derivation Sequence :operational
Didn't Object-Orientation Help Abstraction and Information hiding :02
Difficulties :13
digit :03
Dirty LISP :lab16
Displaying the structure of a LISP value :lab15
DocBook :languages
Does a lexer and parser use the same grammar? :06
Does any one still use LISP? :16
Does multithreading in object-oriented programming reduce information hiding and reuse. :13
Does our LISP have put? :15
Does the blip "'" do anything? :14
Does the degree symbol mean append on pages 52 etc. :05
Does the interpreter on pages 93 to 98 work :07
Does the Java code in question 5 on page 32 work :03
Does the JVM use special machine code instructions to handle parallelism? :13
Does the Quadratic Equation functions in the handout work? :14
Does type equivalence relate to inheritance? :09
Doing It With XML, Part 1 by Ken Sall :languages
Domain :04
DOMAINS :fixed
Do NULL and NIL mean the same thing? :14
Do the Chomsky Types form a hierarchy. :03
Do variables in LISP have a scope? :16
Do you have a complete list of parameter passing methods :10
DS :denotational
Dynamic Data Types :09
Dynamic Scope for variables and procedures :operational
e :04
e :Minsky
E :Minsky
EBNF :01
EBNF :02
EBNF :03
EBNF :04
EBNF :05
EBNF :06
EBNF :07
EBNF :08
EBNF :09
EBNF :10
EBNF :11
EBNF :12
EBNF :13
EBNF :14
EBNF :15
EBNF :16
EBNF :17
EBNF :18
EBNF :19
EBNF :20
EBNF :denotational
EBNF :final
EBNF :index
EBNF :intro
EBNF :lab06
EBNF :lab07
EBNF :lab08
EBNF :lab09
EBNF :lab10
EBNF :lab11
EBNF :lab12
EBNF :lab13
EBNF :lab14
EBNF :lab15
EBNF :lab16
EBNF :lab17
EBNF :lab18
EBNF :lab19
EBNF :lab20
EBNF :labs
EBNF :languages
EBNF :Minsky
EBNF :projects
EBNF :resources
EBNF :schedule
EBNF :syllabi
EBNF :text
EBNF :while
ECLiPSe :languages
Edcc :languages
Eiffel :languages
Entropy and Randomness :lab13
env :operational
Equations f, h, and i on page 49 and page 51 :05
Equation t rearranges the order of statement pairs -- why is o like this :05
Equivalence of Arithmetic Expressions :while
Equivalence of Boolean Expressions :while
Equivalence of Numbers :while
Erlang :languages
Esoteric Programming Languages Ring :languages
Evolution Genetics FTP :languages
Evolution of Languages :11
ex7a :denotational
ex7b :denotational
ex7c :denotational
Example 1 :denotational
Example 2 :denotational
Example 5 :while
Example 6 :while
Example :Minsky
Examples :04
Examples :denotational
Examples of Minsky code :Minsky
Execution :operational
Execution Sequences :operational
Exercise 10 :while
Exercise 12 (Essential) :while
Exercise 13 :while
Exercise 14 :while
Exercise 1 :denotational
Exercise 1 :operational
Exercise 1 :while
Exercise 2.38 :operational
Exercise 2 :denotational
Exercise 2 :operational
Exercise 2 :while
Exercise 3 :operational
Exercise 3 :while
Exercise 44 :fixed
Exercise 46 :fixed
Exercise 4 :denotational
Exercise 4 :operational
Exercise 5 :denotational
Exercise 5 :operational
Exercise 6 :denotational
Exercise 7 :denotational
Exercise 7 :while
Exercise 8 :while
Exercise 9 :while
Exercises :02
Exercises :03
Exercises :05
Exercises :06
Exercises :07
Exercises :08
Existence of Direct Semantics for While :denotational
Existence of Direct Semantics for While :fixed
Experimentation :02
Experiment with Graphics :lab12
Explain a Lattice. :04
Explain back-wards compatible. :08
Explain cadr, caddr, etc. :14
Explain Call by value-result :10
Explain := etc on page 48 :05
Explain fact on page 215 :18
Explain feature interaction and orthogonality :08
Explain Figure 6.8 :12
Explain Figures 8.5 and 8.6 :17
Explain FORMAT input on page 105 :08
Explain how IF(A-B)10,20,20 does A<B in Arithmetic ifs :08
Explain implements. :11
Explain Indirect Recursion :03
Explaining traces :17
Explain instantiation and instance. :11
Explain Java, Java Applet, and JavaScript :11
Explain locality of reference. :08
Explain Maps from Syntax to Semantics :04
Explain Parnas's Information-hiding principle :11
Explain Prefix, Infix, Postfix. :08
Explain "deterministic ... one symbol lookahead parser" on page 77 :06
Explain references and instances :11
Explain the axiom of consequence on page 60 :05
Explain the crtenv function on page 191. :16
Explain the definition of NTH in the handout :14
Explain the Fibbonaci Program :18
Explain the initial construction of follow sets :06
Explain the notation on page 39. :04
Explain the notations of Page 46. :04
Explain the trace, member(...) on page 211! :18
Explain why a on page 49 doesn't user alpha :05
Explanations :denotational
expression :intro
expression :Minsky
expression_statement :03
Extend Bexp :while
Extended BNF :03
extends and implements :12
Extensions to the Cones Problem :lab19
Extensions to While :operational
Extra Exercise :fixed
factorial :while
f :04
f :Minsky
FAST Search :languages
Final Examination :syllabi
Finite_interval :operational
FIX :denotational
FIX :fixed
fixed :fixed
Fixed Point :denotational
fixed points of partial functions :fixed
FIX F :fixed
floating_point_number :02
FlowLayout :lab13
Footnotes :denotational
Footnotes :fixed
Format :syllabi
FORTH :languages
FORTRAN :08
FORTRAN :languages
fortran :resources
FORTRAN :resources
Free Variables :while
Fri Apr 2 16:27:55 PST 2004 Outlines for 03 and 04 online :index
Fri May 14 12:32:56 PDT 2004 Errors found in text book! :index
From the Book :lab17
From the Book :lab18
From the book -- Association lists :lab15
From the book -- Property lists :lab15
Fun :fixed
function :06
function :denotational
Functional Languages :final
Functional Languages :languages
Functional languages in Software Engineering :languages
Functionals :fixed
Functions :04
Functions and Procedures :10
Functions with a single parameter :lab15
Functions with two or more parameters :lab15
functor :lab19
Funfun :fixed
FV :while
g :04
g :Minsky
Garbage Collection :09
Garbage collection -- how and what? :09
Gary Leavens's Home Page :languages
Genealogies :lab19
General :resources
General Resources on Languages :languages
Generate Magic Squares :lab19
Give examples of a conditional loop! :18
Give examples of counting loops! :18
Give examples of init() and paint() :11
Glossary :01
Glossary :02
Glossary :03
Glossary :04
Glossary :05
Glossary :06
Glossary :07
Glossary :08
Glossary :09
Glossary :10
Glossary :11
Glossary :12
Glossary :13
Glossary :14
Glossary :15
Glossary :16
Glossary :17
Glossary :18
Glossary :19
Glossary :20
Glossary :final
Glossary :fixed
Glossary :index
Glossary :intro
Glossary :lab06
Glossary :lab07
Glossary :lab08
Glossary :lab09
Glossary :lab10
Glossary :lab12
Glossary :lab13
Glossary :lab14
Glossary :lab15
Glossary :lab16
Glossary :lab17
Glossary :lab18
Glossary :lab20
Glossary :labs
glossary :languages
Glossary :Minsky
Glossary :projects
Glossary :resources
Glossary :schedule
Glossary :syllabi
Glossary :text
Glossary :while
Goal :denotational
Goal :lab14
Goal :lab15
Goal :lab16
Goal :lab17
Goal :lab18
Goals :intro
Goals :lab11
Goals :lab12
Goals :lab19
Goals for this Lab :lab13
Google search :languages
Grades. :lab19
Grading :syllabi
grammar_of_WHILE :03
grammar_of_While :while
Graphical Programming :languages
Graphic Recursion :lab13
GridBagLayout :lab13
GridLayout :lab13
Gries Coffee Can Problem :lab19
GUI Classes: Buttons, Panels, and Texts :lab12
Gwydion Dylan :languages
h :04
Handout :17
Harry Potter and the Puzzle Potions :lab18
Has the author tested the code of the metaintepreter? :16
Help in Prolog :lab17
HHOS :languages
Higher powers :lab15
Hints :lab11
Hints :lab12
Hints :lab13
Hints :lab15
Hints :lab16
Hints :lab17
Hints :lab18
Hint: Semantic functions in ML :operational
history of computer languages :languages
History of Functional Programming :14
Hoare Axiomatic Semantics :intro
homomorphism :denotational
homomorphism :fixed
How are (A), (A B), and (A B C) expressed as dotted pairs :15
How are coercions decided? :09
How can a subclass access a member of its parent class. :11
How can converting an int to a float lead to loss of accuracy? :09
How can we safely inherit from nay classes? :12
How can you change the value of a varible passed by value :10
How do detect a run away pointer? :10
How do do Exercise 6? :16
How does a consp differ from an atom? :15
How does a data structure help the translation of postfix to prefix (page 5) :02
How does a procedural language from an imperative one? :10
How does a quad table work -- pages 69-70 :06
How does a symbol table work? :07
How does extensibility let you corrupt the design of software? :13
How does one differ from (one) :15
How does the Java Virtual Machine and Java Runtime Environment relate? :12
How does X=Y+2 and X is Y+2 differ? :17
How do real events connect to mouseXxxx methods? :12
How do start() and join() in Java know which functions to execute? :13
How do we get the formula on page 165 :13
How do you get a deadlock in Java? :13
How do you test objects for equality? :11
How do you trace a recursive call :10
How do you trace the project function? :16
How do you use a class on a remote server? :11
How is memory allocated in this program? :11
How to use Prolog :lab17
How to Write Bad Java Code :languages
How to Write Bad Science Fiction :lab18
HTML :01
HTML :02
HTML :03
HTML :04
HTML :05
HTML :06
HTML :07
HTML :08
HTML :09
HTML :10
HTML :11
HTML :12
HTML :13
HTML :14
HTML :15
HTML :16
HTML :17
HTML :18
HTML :19
HTML :20
HTML :denotational
HTML :final
HTML :index
HTML :intro
HTML :lab06
HTML :lab07
HTML :lab08
HTML :lab09
HTML :lab10
HTML :lab11
HTML :lab12
HTML :lab13
HTML :lab14
HTML :lab15
HTML :lab16
HTML :lab17
HTML :lab18
HTML :lab19
HTML :lab20
HTML :labs
HTML :Minsky
HTML :projects
HTML :schedule
HTML :syllabi
HTML :text
HTML :while
HTML_page :01
HTML_page :02
HTML_page :03
HTML_page :04
HTML_page :05
HTML_page :06
HTML_page :07
HTML_page :08
HTML_page :09
HTML_page :10
HTML_page :11
HTML_page :12
HTML_page :13
HTML_page :14
HTML_page :15
HTML_page :16
HTML_page :17
HTML_page :18
HTML_page :19
HTML_page :20
HTML_page :denotational
HTML_page :final
HTML_page :index
HTML_page :intro
HTML_page :lab06
HTML_page :lab07
HTML_page :lab08
HTML_page :lab09
HTML_page :lab10
HTML_page :lab11
HTML_page :lab12
HTML_page :lab13
HTML_page :lab14
HTML_page :lab15
HTML_page :lab16
HTML_page :lab17
HTML_page :lab18
HTML_page :lab19
HTML_page :lab20
HTML_page :labs
HTML_page :languages
HTML_page :Minsky
HTML_page :projects
HTML_page :resources
HTML_page :schedule
HTML_page :syllabi
HTML_page :text
HTML_page :while
Hungarian :languages
I :03
Ice-Cream Cones :lab19
ici :languages
Icon :languages
Id :denotational
Idea :denotational
if :while
If assoc doesn't find a key what does it return? :15
If assoc is a mapping why isn't it called map? :15
if_ff_dvp_ns :operational
if_ff_ns :operational
if_ff_sos :operational
if_ff_svp_ns :operational
if_tt_dvp_ns :operational
if_tt_ns :operational
if_tt_sos :operational
if_tt_svp_ns :operational
Imperative Languages :final
Imperial, college, university, IC, London, England, UK, Europe, Search :languages
Induction on Length of sequences :operational
In figure 5.16 page 132, why is AR2 in front of AR1 for p2? :10
In Figure 6.8 What is the "Interrupted Routine"? :12
Infinite Sum Domains :04
Inheritance :11
Injection and Projection on Sum Domains :04
In Page 4 of the handout X and Y are shown in Reverse order! :17
In Pascal what does forward mean? :07
In Prolog is there and control structure other than if-then-else? :18
instantiation :16
Int :while
integer :03
Integers :03
International Standard EBNF Syntax Notation :languages
interpreter :06
Interpreting Expressions :16
Interval :operational
In the FORTRAN WRITE is the first character always special? :08
Introduction :denotational
Introduction :fixed
Introduction :lab19
Introduction to Formal Semantics :resources
Introduction to Object Oriented Languages :11
Introduction to Semantics of Programming Languages :intro
Is AI dead? :15
Is a Pascal record the same as a C/C++ struct? :09
ISBN :text
Is it an ambiguity when you can write an algorithm in different ways in a language :05
Is it OK to omit a ' in front of a number (page 183)? :15
Is John McCarthy usually credited with creating LISP? :16
Is LISP case sensitive? :14
Is static in Java like static is C and static in C++? :11
Is the book wrong in the parsing of the formula at the bottom of page 197? :17
Is the data base like an array or some other data structure? :17
Is there an error in Figure 3.5 :04
Is there any systematic way, like Petri Nets, for handling task and data parallelism :13
Is whitespace significant in FORTRAN? :08
iteration :Minsky
J :languages
Java :01
Java :02
Java :03
Java :04
Java :05
Java :06
Java :07
Java :08
Java :09
Java :10
Java :12
Java :14
Java :15
Java :16
Java :17
Java :18
Java :19
Java :20
Java :denotational
Java :final
Java :index
Java :intro
Java :lab06
Java :lab07
Java :lab08
Java :lab09
Java :lab10
Java :lab11
Java :lab12
Java :lab13
Java :lab14
Java :lab15
Java :lab16
Java :lab17
Java :lab18
Java :lab19
Java :lab20
Java :labs
Java :Minsky
Java :projects
Java :schedule
Java :syllabi
Java :text
Java :while
Java Certification Program :languages
Java Command Line arguments and Arrays :lab12
Java in lab and and in Practice :12
JavaPP: CSP primitives for Java Threads:Cooperating Sequential Processes :languages
Javascript :languages
JSP :languages
Kernel Prolog - Open Source Project :languages
Kleene :fixed
Lab Experiences :18
Laboratories :syllabi
Laboratory 2 :02
Laboratory 3 :03
Laboratory 4 :04
Laboratory :01
Laboratory :05
Laboratory :06
Laboratory :07
Laboratory :08
Laboratory :09
Laboratory :10
Laboratory :12
Laboratory :13
Laboratory :14
Laboratory :15
Laboratory :16
Laboratory :17
Laboratory :18
Laboratory :19
Laboratory Hello, Java! :11
Language Constructs :18
Language Research and Computer Science :02
LarchC++: Object-oriented specification techniques. :languages
ldef1 :fixed
ldef2 :fixed
ldef3 :fixed
ldef4 :fixed
leaf :lab15
Leave LISP :lab15
Legion :languages
Lemma 11 :while
Lemma25 :fixed
Lemma30 :fixed
Lemma 43 :fixed
lemma43 :fixed
lemma44 :fixed
Lemma 45 :fixed
lemma45 :fixed
lemma46 :fixed
less_defined_than :fixed
lexeme :06
lexemes :06
lexer :06
Linda :languages
LISP :01
LISP :02
LISP :03
LISP :04
LISP :05
LISP :06
LISP :07
LISP :08
LISP :09
LISP :10
LISP :11
LISP :12
LISP :13
LISP :14
LISP :15
LISP :16
LISP :17
LISP :18
LISP :19
LISP :20
LISP :denotational
LISP :final
LISP :index
LISP :intro
LISP :lab06
LISP :lab07
LISP :lab08
LISP :lab09
LISP :lab10
LISP :lab11
LISP :lab12
LISP :lab13
LISP :lab14
LISP :lab15
LISP :lab16
LISP :lab17
LISP :lab18
LISP :lab19
LISP :lab20
LISP :labs
LISP :Minsky
LISP :projects
LISP :schedule
LISP :syllabi
LISP :text
LISP :while
LISP in the Lab :15
LISP in the Lab :16
list :15
Lists :04
location :01
location :02
location :03
location :04
location :05
location :06
location :07
location :08
location :09
location :10
location :11
location :12
location :13
location :14
location :15
location :16
location :17
location :18
location :19
location :20
location :denotational
location :final
location :index
location :intro
location :lab06
location :lab07
location :lab08
location :lab09
location :lab10
location :lab11
location :lab12
location :lab13
location :lab14
location :lab15
location :lab16
location :lab17
location :lab18
location :lab19
location :lab20
location :labs
location :languages
location :Minsky
location :projects
location :resources
location :schedule
location :syllabi
location :text
location :while
Logic :17
Logic Programming :final
LOGO :languages
logtalk Object Oriented Prolog :languages
lookahead :06
Look at the source code for XLISP :lab16
LOTOS_a2 :languages
LOTOS example :languages
LOTOS_exit1 :languages
LOTOS_exit2 :languages
LOTOS_r1 :languages
LOTOS_r2 :languages
LOTOS_r3 :languages
LOTOS_r4 :languages
LOTOS_r5 :languages
LOTOS_r6 :languages
LOTOS_stop :languages
LRM :01
LRM :02
LRM :03
LRM :04
LRM :05
LRM :06
LRM :07
LRM :08
LRM :09
LRM :10
LRM :11
LRM :12
LRM :13
LRM :14
LRM :15
LRM :16
LRM :17
LRM :18
LRM :19
LRM :20
LRM :denotational
LRM :final
LRM :index
LRM :intro
LRM :lab06
LRM :lab07
LRM :lab08
LRM :lab09
LRM :lab10
LRM :lab11
LRM :lab12
LRM :lab13
LRM :lab14
LRM :lab15
LRM :lab16
LRM :lab17
LRM :lab18
LRM :lab19
LRM :lab20
LRM :labs
LRM :languages
LRM :Minsky
LRM :projects
LRM :resources
LRM :schedule
LRM :syllabi
LRM :text
LRM :while
lub :fixed
Malbolge: Programming from Hell :languages
Markup Languages :languages
Mathematica :languages
MATHS :languages
MAXMIN :fixed
May I use a different definition of function and procedure? :07
Mercury is a new logic/functional programming language :languages
Meta-Interpreter :16
Metalanguage :04
Meta-Languages :languages
ML :languages
ML :resources
Model Integration :languages
Modula-3 :languages
Mon Apr 19 10:31:19 PDT 2004 Outlines of final and next session :index
Mon Apr 26 15:36:09 PDT 2004 Notes 08 and 09 posted :index
Mon May 3 14:08:00 PDT 2004 Java and OO next :index
monotonic :fixed
More Java :lab13
More Layouts :lab13
More Polymorphism :lab12
More sample Programs :lab19
Motivation :02
Motivation :while
Move to Laboratory JBH359 :20
Museum :languages
My Computer Languages Page :languages
My_Integers :03
N :intro
N :while
Natural_Operational_Semantics_of_While :operational
Natural Semantics of Dynamic scoping :operational
new :operational
Next :02
Next :03
Next :04
Next :05
Next :06
Next :07
Next :08
Next :09
Next :10
Next :11
Next :12
Next :13
Next :14
Next :15
Next :16
Next :17
Next :18
Next :19
Next :20
Next -- A very simple language :intro
Next: Provable Implementation :operational
N is well defined :while
none_loc_ns :operational
none_ns :operational
Non-Java Concurrency :lab13
Non-Recursive Syntax Analysis :12
Note :17
Note: How I do Cond :denotational
Notes :06
Notes :07
Notes :lab16
Notes on D :while
Notes on familiar fixed points :fixed
Notes on the Denotational Semantics of Programming Languages :denotational
Notes on the Fixed Point Theory of Denotations :fixed
Notes on the Operational Semantics of Programming Languages :operational
NS_AB :operational
NS :operational
NS_DYN_V_P :operational
NS_DYN_V_S_P :operational
NS_ND :operational
NS_S_V_P :operational
NS_V_Loc :operational
Num :intro
number :02
o :denotational
Oberon :languages
Object-Oriented Languages :final
Obliq :languages
OCL Object constraint language :languages
one_engined_train :06
On page 130..131 what does t:=1*1 etc mean :10
On page 138 are any begins missing :11
On page 161 explain (n[L]-N[t])+1 :13
On page 182: what does (setq m '((add +) (minus -))) mean in C++? :15
On page 184 the book says that "null" is returned, but I get "NIL"! :15
On page 187 what is a "meta-program". :16
On page 188 and 189 how does instance work and what does it mean? :16
On page 205 why does ac and af appear twice? :17
On page 45 explain the notation :04
On page 63 is the Java in question 5 correct :05
On page 68 the function S has one push and two pops -- can it work :06
On Page 73 where does the I come from and where does it go? :06
On Page 75 why must we make 3 improvements before we write a compiler? :06
on page 76 I don't understand how the recursion is eliminated :06
On page 78 and 79 what is the dollar sign for? :06
On page 78 is the T'' an error? :06
On page 88 figure 4.3 side bar has a pointer to the second part of the box! :07
On page 91 Where is the second item pushed on the stack in t1. :07
On page 98 at the bottom is P" correct? :07
OOAD :text
OO :01
OO :02
OO :03
OO :04
OO :05
OO :06
OO :07
OO :08
OO :09
OO :10
OO :11
OO :12
OO :13
OO :14
OO :15
OO :16
OO :17
OO :18
OO :19
OO :20
OO :denotational
OO :final
OO :index
OO :intro
OO :lab06
OO :lab07
OO :lab08
OO :lab09
OO :lab10
OO :lab11
OO :lab12
OO :lab13
OO :lab14
OO :lab15
OO :lab16
OO :lab17
OO :lab18
OO :lab19
OO :lab20
OO :labs
OO :languages
OO :Minsky
OO :projects
OO :resources
OO :schedule
OO :syllabi
OO :text
OO :while
OpenMath :languages
Operational Semantics :05
Operationational Semantics :resources
Operations on Functions :denotational
Operators on Domains :04
O-plan :languages
Optional :lab12
Optional experiments if you have time :lab15
or_1_ns :operational
or_1_sos :operational
or_2_ns :operational
or_2_sos :operational
Other :resources
Other Languages :resources
Outline :operational
Page 101 what does it mean about error messages being a good attribute of a language :08
Page 170 why is (4, 5, 6) in the list and nonatomic. :14
Page 182 Why does (assoc m 2) =two? :15
Pages 76 to 81 :06
Pages 82 to 87 :06
P-a->Q :languages
pair :lab15
Paper -- 20 points :projects
P|A|Q :languages
par_1_ns :operational
par_1_sos :operational
par_2_ns :operational
par_2_sos :operational
par_3_sos :operational
par_4_sos :operational
Parallel Processing :lab19
Parameter Passing :10
parser :06
Partial answer to Exercise 1 :denotational
Partial Functions :denotational
Partial Functions :fixed
Participation :syllabi
part_of_Bexp :denotational
Pascal :languages
Pascal :resources
Pdcc :languages
Perl :languages
PES :operational
PHP :languages
Picking lotto type numbers :lab19
Ping :languages
Pname :operational
P'Nuts Scripting languaage for the Java Environment :languages
Pointers to Other Languages :languages
Polymorphism :11
Polymorphism Basics :lab12
Polymorphism Review :lab12
pop :06
POSET :fixed
Possible_statement :operational
PostScript :languages
Preparation :02
Preparation :03
Preparation :04
Preparation :05
Preparation :06
Preparation :07
Preparation :08
Preparation :11
Preparation :12
Preparation :13
Preparation :14
Preparation :15
Preparation :16
Preparation :17
Preparation :18
Preparation :19
Preparation :20
Preparation :final
Presentation -- 20 points :projects
Presentation :final
Pretty Print a Structure :lab19
Previous :02
Previous :03
Previous :04
Previous :05
Previous :06
Previous :07
Previous :08
Previous :09
Previous :10
Previous :11
Previous :12
Previous :13
Previous :14
Previous :15
Previous :16
Previous :17
Previous :18
Previous :19
Previous :20
Prime Number Sieve :lab13
Proc :languages
procedure :06
Process :lab13
Process :lab14
Process :lab17
Process :lab18
Process :languages
Process :projects
Product Domains :04
Programming in Logic :17
Programming Languages :languages
Prograph :languages
Prolog :01
Prolog :02
Prolog :03
Prolog :04
Prolog :05
Prolog :06
Prolog :07
Prolog :08
Prolog :09
Prolog :10
Prolog :11
Prolog :12
Prolog :13
Prolog :14
Prolog :15
Prolog :16
Prolog :17
Prolog :18
Prolog :19
Prolog :20
Prolog :denotational
Prolog :final
Prolog :index
Prolog :intro
Prolog :lab06
Prolog :lab07
Prolog :lab08
Prolog :lab09
Prolog :lab10
Prolog :lab11
Prolog :lab12
Prolog :lab13
Prolog :lab14
Prolog :lab15
Prolog :lab16
Prolog :lab17
Prolog :lab18
Prolog :lab19
Prolog :lab20
Prolog :labs
Prolog :Minsky
Prolog :projects
Prolog :schedule
Prolog :syllabi
Prolog :text
Prolog :while
Prolog loops! :lab19
Prolog's data structure :17
Prolog Source Code :lab18
Proof 1 :intro
Proof 2 :intro
Proof Method :while
Proof of 43.4 :fixed
Proof of 43.5 :fixed
Proof of lemma43 :fixed
Proof of Theorem 4 :while
Properties of A and B :while
Property Lists :15
Proposition 47 :fixed
protocol :01
protocol :02
protocol :03
protocol :04
protocol :05
protocol :06
protocol :07
protocol :08
protocol :09
protocol :10
protocol :11
protocol :12
protocol :13
protocol :14
protocol :15
protocol :16
protocol :17
protocol :18
protocol :19
protocol :20
protocol :denotational
protocol :final
protocol :index
protocol :intro
protocol :lab06
protocol :lab07
protocol :lab08
protocol :lab09
protocol :lab10
protocol :lab11
protocol :lab12
protocol :lab13
protocol :lab14
protocol :lab15
protocol :lab16
protocol :lab17
protocol :lab18
protocol :lab19
protocol :lab20
protocol :labs
protocol :languages
protocol :Minsky
protocol :projects
protocol :resources
protocol :schedule
protocol :syllabi
protocol :text
protocol :while
Pseudo Code on page 66 :06
Publishing Your Applet :lab11
publishing your work :resources
push :06
Puzzle Answer :08
Questions :02
Questions :03
Questions :04
Questions :05
Questions :06
Questions :07
Questions :08
Questions :09
Questions :10
Questions :11
Questions :12
Questions :13
Questions :14
Questions :15
Questions :16
Questions :17
Questions :18
Questions and Answers :01
Question Topics Spring 2004 :final
Quick Exercise :while
Quick Sort made Simple :lab19
Quick Substitution Exercises :while
Rational :languages
recognizer :06
Records :09
Recursion :12
References :denotational
References :fixed
regular_expression :03
Regular Expressions :03
Required Work :lab16
Research On Languages :languages
Resources on Programming Languages :syllabi
Re-usability :12
Reuse :11
Review :lab15
Review: Applications and Applets :lab12
Review C++ Objects :lab12
Review Java :lab13
rtf :languages
Rubric :final
Ruby :languages
Rule 0 :lab12
Rule 1 :lab12
Rule 2 :lab12
Rule 3 :lab12
Rule 4 :lab12
Rule 5 :lab12
Rule 6 :lab12
Run-time Errors :10
S1 :03
S1 :while
s1 equivalent s2 :while
S2 :while
S3 :while
S :06
Same power :while
Schedule :syllabi
scheme-48 :languages
Scheme :languages
Scheme :resources
scripting :resources
Scripting languages :languages
SDL site :languages
search :languages
search_engine :resources
selection :denotational
selection :Minsky
Selection of partial functions :fixed
Semantic Domains :Minsky
Semantic Equivalence :denotational
Semantic Equivalence :operational
Semantic Function Declaration :Minsky
Semantic Function Equations :Minsky
Semantic function for structural operational semantics :operational
Semantic Function for the Natural Semantics of While :operational
Semantics :final
Semantics :resources
Semantics of a simple language: while :resources
Semantics of Boolean Expressions :while
Semantics of Constants :while
Semantics of Expressions :while
Semantics of Statements :while
Semantics of Variables :while
Semantics of While :denotational
sequence :intro
sequence :Minsky
Set Notation :03
Set Operations :18
set_poset :fixed
set_theory :fixed
S-Expressions :14
SGML :languages
s>->z :operational
sh :languages
Shell :resources
Shift click :lab12
Should an inheriting class only over-ride base-class functions and not add any new ones? :12
Shouldn't Java classes have names that start with CAPITAL letters? :13
Shouldn't we avoid coercions because they loose data? :09
Should we use /share/java1.1.4.1/.... or /share/j2sdk1.4.1/.... in the labs? :12
Simple Power Domains :04
Simple Semantic Equations :04
Since Prolog has a Data Base can we share and maintain consistency between users? :18
skip_dvp_ns :operational
skip_ns :operational
skip_sos :operational
skip_svp_ns :operational
Smalltalk :languages
SmallTalk :resources
Snobol :languages
S^o :04
Some of my Examples :lab18
Sorting in Practice :lab19
SOS_AB :operational
SOS :operational
SOS_ND :operational
SOS_Par :operational
source code samples :languages
S:Stm :operational
stack :06
Stack of CardsLayout :lab13
Stacks in Java :12
State :denotational
State :while
statement :intro
Static Scope Rules for Procedures :operational
Static Scope Rules for Variables :operational
Static scopes for procedures and variables :operational
Statistics :lab19
STL :languages
stm :operational
STOP :languages
strict :fixed
Structural Operational Semantics :operational
Stuck :operational
subprogram :06
Subprogram Parameters in Java :lab12
Substitution :while
Sum Domains :04
Summary :denotational
Summary :fixed
Summing the Number from 1 to N. :lab19
SunSITE N. Europe language Archive :languages
Surat2.java has problems :13
SVG XML based W3C Scalable Vector Graphics :languages
Syllabi :syllabi
Symbols for Undefined and Over-defined :04
Syntax :03
Syntax :final
Syntax :intro
Syntax Description :resources
T :03
Task Parallelisms :13
TBA :01
TBA :02
TBA :03
TBA :04
TBA :05
TBA :06
TBA :07
TBA :08
TBA :09
TBA :10
TBA :11
TBA :12
TBA :13
TBA :14
TBA :15
TBA :16
TBA :17
TBA :18
TBA :19
TBA :20
TBA :denotational
TBA :final
TBA :index
TBA :intro
TBA :lab06
TBA :lab07
TBA :lab08
TBA :lab09
TBA :lab10
TBA :lab11
TBA :lab12
TBA :lab13
TBA :lab14
TBA :lab15
TBA :lab16
TBA :lab17
TBA :lab18
TBA :lab19
TBA :lab20
TBA :labs
TBA :languages
TBA :Minsky
TBA :projects
TBA :resources
TBA :schedule
TBA :syllabi
TBA :text
TBA :while
Tell Me :lab11
TEMPO :languages
Terminal_state :operational
Terminators and Separators :03
Term Paper :syllabi
TeX :languages
The Barber Paradox :lab19
The chapter implies that import and extends are similar. Is this true? :12
The Crispy Program in Color :lab13
The Cryptogram Problem :lab13
The CS620 nonrecursive parser :lab12
The CS620 textbook stack :lab12
The Game is afoot! :lab17
The Incredible Wiki Wiki Web :languages
The Language While :while
The 'nl' command outputs the new line, is there a command for carriage return and other ASCII characters? :18
Theorem 2.9 The NS are deterministic :operational
Theorem 37 :fixed
Theorem NOS = S_SOS :operational
Theorem SOS deterministic :operational
Theoretical Language Research :02
Theory of Fixed Points :denotational
Theory of Fixed Points :fixed
Theory of Partially Ordered Sets :denotational
Theory of Partially Ordered Sets :fixed
The Pascal Abstraction :09
The Programming Language Minsky :Minsky
The Quick Sort Algorithm in Java :lab12
The trees program pages 117-118 :09
The WHILE Language :03
Threads in Java :lab13
Thu Apr 1 16:34:39 PST 2004 Second set of notes posted :index
Thu Apr 1 18:13:13 PST 2004 First Grades posted! :index
Thu Apr 15 17:37:39 PDT 2004 Grades and notes have been posted. :index
Thu Apr 22 06:53:10 PDT 2004 Update :index
Thu Apr 22 13:39:34 PDT 2004 Grades posted :index
Thu Apr 29 14:28:46 PDT 2004 Grades and notes online :index
Thu Apr 8 06:51:43 PDT 2004 Notes/04 updated :index
Thu Mar 25 14:46:15 PST 2004 First draft schedule in place :index
Thu May 20 17:34:51 PDT 2004 Grades and notes ready :index
Thu May 27 16:09:36 PDT 2004 GRades and notes posted plus presentations :index
Thu May 6 15:19:42 PDT 2004 Grades and Notes published. :index
Title :text
token :06
tokens :06
To Leave LISP :lab16
top :04
Topics :02
Topics :08
Topics :09
Topics :10
Topics :11
Topics :12
Topics :13
Topics :14
Topics :15
Topics :16
Topics :17
Topics :18
Topics :projects
Topics -- Java :19
Topics JBH146 :20
Topics/skills not needed in Spring 2004 :final
train :06
Translate C++ to Java :lab12
Translation :final
tree :lab15
Tue Apr 13 13:03:15 PDT 2004 Acknowledgement :while
Tue Apr 13 17:54:05 PDT 2004 Done! :index
Tue Apr 27 13:00:12 PDT 2004 Lab09: 60 minutes extension :index
Tue Apr 27 16:57:10 PDT 2004 Notes on 09 ready :index
Tue Apr 6 17:20:12 PDT 2004 Grade sand notes 04 published :index
Tue Mar 23 12:45:03 PST 2004 Started to develop this CS620 web site :index
Tue Mar 30 07:51:36 PST 2004 Finalizing the Syllabus :index
Tue Mar 30 12:08:12 PST 2004 First session+Lab :index
Tue May 11 18:14:02 PDT 2004 Grades and notes published. :index
Tue May 18 17:37:32 PDT 2004 Answers and grades posted! :index
Tue May 25 15:37:45 PDT 2004 Grades and notes done :index
Tue May 4 16:12:04 PDT 2004 Today: best and worst :index
two_engined_train :06
Type Equivalence :09
Types of Semantics :intro
UML :01
UML :02
UML :03
UML :04
UML :05
UML :06
UML :07
UML :08
UML :09
UML :10
UML :11
UML :12
UML :13
UML :14
UML :15
UML :16
UML :17
UML :18
UML :19
UML :20
UML :denotational
UML :final
UML :index
UML :intro
UML :lab06
UML :lab07
UML :lab08
UML :lab09
UML :lab10
UML :lab11
UML :lab12
UML :lab13
UML :lab14
UML :lab15
UML :lab16
UML :lab17
UML :lab18
UML :lab19
UML :lab20
UML :labs
UML :Minsky
UML :projects
UML :schedule
UML :syllabi
UML :text
UML :while
UML Dictionary :languages
Unclassified Languages :languages
Universal Networking Language, Hiroshi Uchida :languages
Universal_Resource_Locator :01
Universal_Resource_Locator :02
Universal_Resource_Locator :03
Universal_Resource_Locator :04
Universal_Resource_Locator :05
Universal_Resource_Locator :06
Universal_Resource_Locator :07
Universal_Resource_Locator :08
Universal_Resource_Locator :09
Universal_Resource_Locator :10
Universal_Resource_Locator :11
Universal_Resource_Locator :12
Universal_Resource_Locator :13
Universal_Resource_Locator :14
Universal_Resource_Locator :15
Universal_Resource_Locator :16
Universal_Resource_Locator :17
Universal_Resource_Locator :18
Universal_Resource_Locator :19
Universal_Resource_Locator :20
Universal_Resource_Locator :denotational
Universal_Resource_Locator :final
Universal_Resource_Locator :index
Universal_Resource_Locator :intro
Universal_Resource_Locator :lab06
Universal_Resource_Locator :lab07
Universal_Resource_Locator :lab08
Universal_Resource_Locator :lab09
Universal_Resource_Locator :lab10
Universal_Resource_Locator :lab11
Universal_Resource_Locator :lab12
Universal_Resource_Locator :lab13
Universal_Resource_Locator :lab14
Universal_Resource_Locator :lab15
Universal_Resource_Locator :lab16
Universal_Resource_Locator :lab17
Universal_Resource_Locator :lab18
Universal_Resource_Locator :lab19
Universal_Resource_Locator :lab20
Universal_Resource_Locator :labs
Universal_Resource_Locator :languages
Universal_Resource_Locator :Minsky
Universal_Resource_Locator :projects
Universal_Resource_Locator :resources
Universal_Resource_Locator :schedule
Universal_Resource_Locator :syllabi
Universal_Resource_Locator :text
Universal_Resource_Locator :while
University of Washington Seattle :languages
UNIX :languages
Unix :resources
unsigned_integer :03
Updating a State by Changing a Variable :while
URL :01
URL :02
URL :03
URL :04
URL :05
URL :06
URL :07
URL :08
URL :09
URL :10
URL :11
URL :12
URL :13
URL :14
URL :15
URL :16
URL :17
URL :18
URL :19
URL :20
URL :denotational
URL :final
URL :index
URL :intro
URL :lab06
URL :lab07
URL :lab08
URL :lab09
URL :lab10
URL :lab11
URL :lab12
URL :lab13
URL :lab14
URL :lab15
URL :lab16
URL :lab17
URL :lab18
URL :lab19
URL :lab20
URL :labs
URL :languages
URL :Minsky
URL :projects
URL :resources
URL :schedule
URL :syllabi
URL :text
URL :while
Using the Equations :Minsky
V :Minsky
Var :03
VAR :operational
Var :while
variable :Minsky
var_loc_ns :operational
var_ns :operational
Version :lab17
Visual Obliq :languages
Von Neumann Architecture :08
VRML :languages
Warning :lab13
Was LISP the first programming language to demonstrate meta-programming? :16
Weakest PreCondition Semantics :intro
Wed Apr 14 08:28:04 PDT 2004 Small change in strategy :index
Wed Apr 21 06:44:24 PDT 2004 Lab Yesterday :index
Wed Apr 28 14:56:00 PDT 2004 Outline for next three classes ready :index
Wed May 19 14:20:24 PDT 2004 More class outlines published :index
Wed May 26 17:15:48 PDT 2004 New information on the final posted :index
Wed May 5 12:11:37 PDT 2004 News of Java 1.5.0 :index
Weird Programming Languages :languages
What about memory boundaries and recursion :10
What and Why is Coherence? :08
What are injection and projection :05
What are Language levels? :08
What are side effects on global variable? :11
What are the features of a good programming language :02
What are the important features for automatically generated programs :13
What are the lower case letters in member(X, [p,7,d,2,set,7.8])? :18
What data types are there in LISP? :14
What does an instance variable do? :11
What does delete do? :09
What does eval do? :15
What does meta mean? :17
What does "od" mean in the WHILE language :03
What does the succ function on page 192 do? :16
What do we replace GOTOs by? :08
What happens with FORTRAN and COBOL not checking boundaries. :10
What is a built-in procedure? :09
What is a CASE inside a Pascal record: page 121? :09
What is a functions's signature :10
What is a higher-order function? :16
What is a Just-In-Time (JIT) compiler :06
What is a macro name? :14
What is a modifier in Java? :11
What is an impure operator? :14
What is a Propositional Variable? :17
What is a Race Hazzard? :13
What is a symbol table? :07
What is Control :08
What is crtenv and its relation to env on page 191? :16
What is deprecated? :08
What is Godel's Incompleteness Theorem? :17
What is John McCarthy doing now? :14
What is my experience with Prolog :17
What is Pattern Matching in Prolog? :18
What is Prolog's No? :17
What is setf? :15
What is setq and set? :15
What is System in System.out.println()? :12
What is the a on line 5 of Page 44 :04
What is the difference between a compiler and an interpreter? :07
What is the difference between a Lexical Unit and a Vocabulary :03
What is the difference between a package and a library? :11
What is the difference between Common LISP and Scheme? :14
What is the difference between consp and atom? :16
What is the difference between deadlock and starvation? :13
What is the difference between FUNCALL and APPLY :14
What is the difference between heap and stack overflow. :10
What is the difference between popping a stack and dequeuing queue? :18
What is the difference between Propositional and first order calculus? :17
What is the difference between public and private in Java :11
What is the difference between SWI and Gnu Prolog? :17
What is the difference between Tail and nonTail Recursion? :18
What is the FORTRAN CONTINUE? :08
What is the LISP machine on page 193? :16
What is the number in traces? :18
What is the reverse function of TRACE? :15
What is the smallest HTML page that contain an applet. :12
What is the structure of type Object in Java :12
What is [_|Y] in the member function definition on page 211 :18
What must be in X for (CADAR X) to work? :15
What problems happen in concurrency? :13
What was the machine with a CAR and CDR? :14
When a class implements an interface must it implement all the functions in the interface? :12
When should you use call by reference vs call by value. :10
When we end a COND with T is this like a default in a switch? :14
Where are the assemblers? :06
Where is the middle ground between local and global variables? :11
Which is easiest to program: Java or C++? :11
while + abort :operational
WHILE_DS :denotational
while_ff_dvp_ns :operational
while_ff_ns :operational
while_ff_svp_ns :operational
while + non-determinism :operational
While + Parallelism :operational
while_sos :operational
while_tt_dvp_ns :operational
while_tt_ns :operational
while_tt_svp_ns :operational
Why are FORTRAN solutions Algorithm Oriented? :09
Why are the program at the top of figure 5.4 and the static memory at the bottom. :09
Why does it say that "test alone might reveal errors in concurrent programs :13
Why doesn't put work on my CLisp? :15
Why does the input of "X." give the output that it does? :17
Why does the program in question 6 (page 32) reverse the assignment of t and a :03
Why do we ever cons something with an empty list? :15
Why do we have immediate and non-immediate commands, and how do they differ? :18
Why do we need precise semantics :04
Why do we separate finite from infinite domains of discourse? :17
Why do we use T in place of ELSE :14
Why haven't languages changed the basic form of expressions and assignments since FORTRAN? :11
Why have two strings in a configuration, shouldn't one do :05
Why is an Applet self-contained? :12
Why is (car(cdr(car '((1 2 3 4 ) 5 6 7))) equal to 2? :14
Why is functional programming good? :14
Why is the Bohm Proof that Gotos are not needed important :03
Why LISP :14
Why program in LISP? :15
Why wasn't T removed from LISP? :15
Why WHILE :03
Will we have to improve any syntax in the final :06
with a good subject line! :index
with my comment in parentheses :02
Work :syllabi
WWW :01
WWW :02
WWW :03
WWW :04
WWW :05
WWW :06
WWW :07
WWW :08
WWW :09
WWW :10
WWW :11
WWW :12
WWW :13
WWW :14
WWW :15
WWW :16
WWW :17
WWW :18
WWW :19
WWW :20
WWW :denotational
WWW :final
WWW :index
WWW :intro
WWW :lab06
WWW :lab07
WWW :lab08
WWW :lab09
WWW :lab10
WWW :lab11
WWW :lab12
WWW :lab13
WWW :lab14
WWW :lab15
WWW :lab16
WWW :lab17
WWW :lab18
WWW :lab19
WWW :lab20
WWW :labs
WWW :languages
WWW :Minsky
WWW :projects
WWW :resources
WWW :schedule
WWW :syllabi
WWW :text
WWW :while
XBNF :01
XBNF :02
XBNF :03
XBNF :04
XBNF :05
XBNF :06
XBNF :07
XBNF :08
XBNF :09
XBNF :10
XBNF :11
XBNF :12
XBNF :13
XBNF :14
XBNF :15
XBNF :16
XBNF :17
XBNF :18
XBNF :19
XBNF :20
XBNF :denotational
XBNF :final
XBNF :index
XBNF :intro
XBNF :lab06
XBNF :lab07
XBNF :lab08
XBNF :lab09
XBNF :lab10
XBNF :lab11
XBNF :lab12
XBNF :lab13
XBNF :lab14
XBNF :lab15
XBNF :lab16
XBNF :lab17
XBNF :lab18
XBNF :lab19
XBNF :lab20
XBNF :labs
XBNF :languages
XBNF :Minsky
XBNF :projects
XBNF :resources
XBNF :schedule
XBNF :syllabi
XBNF :text
XBNF :while
XML :languages
Your First Applet :lab11
Your First Java Program :lab11
Your Public Web Site :lab13
Your Second Java Application :lab11
Z :languages
Z :resources