Date Topic Chapter Reading PPT
Notes
PDF
Notes
Homework MW Tests TTH Tests Files for Assignments
and Solutions
                                                     
Wed, Aug 29 Thu, Aug 30 Introduction and Tools   Intro & Tools Intro & Tools                                                                    
      JDeveloper Installation Doc                                                                        
      SQLDeveloper                                                                        
Mon, Sep 03   No Class                                                                          
Tue, Sep 04 Wed, Sep 05 Relations, Primitive Recursive Functions, Lambda Calculus, Combinator Logic and Lisp PLAI Book:
Chapters 22, 1, and 2
DeLong Book:
pages 152 - 160
PLAI 1 PLAI 1     Quiz 1 Quiz 1                                                            
        Lambda Calculus Tutorial                                                                    
        Online Tutorial                                                                    
    Getting started downloads   MetaMath pdf                                                                    
    Textbook   crono.zip                                                                    
    Installing Racket   JDBLisp with Classes.zip                                                                    
    Scheme for Chapter 1                                                                          
    Scheme for Chapter 2   McCarthy Paper                                                                    
    Scheme Tutorial                                                                          
Thu, Sep 06 Mon, Sep 10 Continue from last class       Homework 1 Soluions Quiz 2 Quiz 2                                                            
Tue, Sep 11 Wed, Sep 12 Substitution PLAI Book:
Chapter 3
PLAI 2 PLAI 2     Quiz 3 Quiz 3                                                            
    Scheme for Chapter 3 first subst                                                                          
    Scheme for Chapter 3 second subst                                                                          
    Scheme for Chapter 3 Final                                                                          
Thu, Sep 13 Mon, Sep 17 Syntax, Grammar, Parsing and Interpretation    HLL 1 HLL 1 Homework 2 Solutions                                                                
    javacc tutorial                                                                        
    javacc FAQ                                                                          
    JavaWorld javacc                                                                          
    javacc demo1                                                                          
    javacc demo2 Javacc Project Examples                                                                        
    Unix tutorial Integrated_crono.zip                                                                        
    sed one liners Integrated_cronoDoc                                                                        
    javacc demo3 hmm_visitor.zip                                                                        
    Chomsky, Lexical Analysis and Parsing, H-- hmm_visitor Doc HLL 2 HLL 2                                                                    
    Hmm Grammar and Abstract Syntax OO Hmm Doc.                                                                      
    Formatting with javacc --> Hmm + SQL                                                                        
      Original Hmm.zip                                                                        
      Original Hmm Doc                                                                        
Tue, Sep 18 Wed, Sep 19 Continue from last class - formatting using javacc (see information below)       Extra Credit #1   Quiz 4 Quiz 4                                                            
            Homework 3 Solutions -> HW3.scm Parser.j FormatDTraceProfile.jj                                                          
    javacc Formatter discussed in class   Homework 3 javacc formatter                                                            
    zip file input output   zip file input output                                                              
    Picture of mapping of test to output Formatter.jj     Picture of mapping of test to output Formatter.jj                                                                
Thu, Sep 20   Review - students from the WM Section are welcome to attend. PLAI Book Chapter 4                                                                        
Mon, Sep 24 Tue, Sep 25 Deferred Substitution, Functions, and Closures  PLAI Book:
Chapters 4, 5 and 6
PLAI 3 & HLL 3 PLAI 3  & HLL 3     Quiz 5A Quiz 5A                                                            
    Scheme for Chapter 4 How Ruby Borrowed a Decades Old Idea From Lisp     Quiz 5B Quiz 5B                                                            
    Scheme for Chapters 4, 5, and 6 Final hmm_nice_demo.zip                                                                    
    Runtime stack and Activation Records for HLLs   MyFactorial.c                                                                    
Wed, Sep 26 Thu, Sep 27 Antlr   Antlr Video Tutorials                                                                    
    Modifying jython SQLDeveloper Modifying Jython Modifying Jython A previous semester's HW to add "let" to jython Solutions-->   Python.g PartialPython.g Base.g Call.java Lambda.java                                                    
      SQLDeveloper Connection Example ReL.zip   Extra Credit-->   Author Python.g PartialPython.g Call.java Lambda.java                                                    
      EmpDB.sql Getting ReL working on the CS machines     Quiz 6A Quiz 6A                                                            
      Sporting Goods DB.sql         Quiz 6B Quiz 6B                                                            
Mon, Oct 01 Tue, Oct 02 Semantic Web Programming Oracle's Semantic Technology YouTube
Intro to the Semantic Web
Homework 4 Solutions --> HW4.scm HW4.rkt Parser.jj                                                          
      Oracle Semantic Tutorial
See examples on 1-28 and 1-29
YouTube
RDF and RDFa
YouTube
Intro to Semantic Technology in the DoD Business Mission Area 
 
                                                         
    RDF, RDFs, and OWL Family Tree  RDF Example RDF, RDFs, OWL
RDF, RDFs, OWL
DoD Oracle OpenWorld Presentation
(View in "Slide Show" mode to see the animation and pay attention to page 10)
                                                           
    Some OO Programming Language Concepts Semantic Techology at the National Institute of Health (NIH) Java Upcasting and Downcasting                                                                  
  OO PLs OO PLs                                                                    
  Test.java                                                                    
    Semantic Database Management Systems  SIM Inferencing Inferencing                                                                    
    SIM database system Bo's SIM Thesis ReL Components ReL Components                                                                    
      Bo's SIM Code                                                                    
      Running Bo's SIM Code                                                                      
Wed, Oct 03 Thu, Oct 04 Continue from last class                                                                          
    Souri Das, Tech. Lead for Oracle's Semantic Database Technology Souri's Notes                                                                      
      Souri_family_demo.sql                                                                      
      Souri_family_demo.log                                                                      
Mon, Oct 08 Tue, Oct 09 Continue from last class           Quiz 6A Redo Quiz 6A Redo                                                            
                Quiz 6B Redo Quiz 6B Redo                                                            
Wed, Oct 10 Thu, Oct 11 Continue from last class                                                                          
Mon, Oct 15 Tue, Oct 16 Syllogisms, Proof by Contradiction and Midterm Review DeLong, pages 14 - 32 Syllogism and Midterm Review Syllogism and Midterm Review Homework 5                                                                  
Wed, Oct 17 Thu, Oct 18 In Class Mid-Term Previous Midterm MW Midterm Solutions TTh Midterm Solutions                                                                
      Previous Midterm Solution Midterm A Solutions Midterm A Solutions                                                                
      Midterm B Solutions Midterm B Solutions                                                                
        Midterm C Solutions Midterm C Solutions                                                                
Mon, Oct 22 Tue, Oct 23 Prolog Chapters 33 & 34 Prolog 1 Prolog 1                                                                    
        Short Prolog Tutorial     Quiz 7 Quiz 7                                                            
        Prolog Sample Code                                                                    
        11Prolog Examples.p                                                                    
        Prolog Building Problem                                                                    
        Functional Programming in Prolog                                                                    
Wed, Oct 24 Thu, Oct 25     Prolog 2 Prolog 2                                                                    
            Quantum Entanglement Engineering                                                            
            Thanks to Blake Gilstrap                                                            
            Article Overview                                                            
            Article                                                            
            Another Article                                                            
Mon, Oct 29 Tue, Oct 30 Answer Set Programming (ASP)   Diners Problem                                                                    
        Yuliya's Presentation                                                                    
        Notes for Yuliya's Presentation                                                                    
        Yuliya's Programs                                                                    
    Relation-based Languages, Prolog and SQL EmpDB.sql                                                                      
    Schaum SQL book - it's best to start with Chapter 3 in this book Sporting Goods DB.sql Prolog & SQL Prolog & SQL     Quiz 8 Quiz 8                                                            
        Prolog DB                                                                    
    Oracle SQL by Example book Readme Schema Student.sql Extra Tabels.sql Drop Student.sql Drop Extra tables.sql                                                              
Wed, Oct 31 Thu, Nov 01 Initial Project Reviews Project Requirements/Suggestions Register Your Project Project Review Schedule                                                                
    For DrCannata to Reserve ENS 31NM
(admin@cs.utexas.edu or call
Kathy Guajardo at 512-471-9504)
Andrew's Visitor Paper                                                                        
    select last_name1 || ', ' || first_name1 || '; ' || last_name2 || ', ' || first_name2 || '; ' || last_name3 || ', ' || first_name3, project from schedule                                                                          
Mon, Nov 05 Tue, Nov 06 Guest lecture by Doug Tolbert, chief architect and techinical lead for SIM SIM 1988 Next Generation DBMS SIM Slides Doug's Other Slides                                                                  
Wed, Nov 07 Thu, Nov 08 Types and Type Systems Chapters 24 - 29 PLAI and HLL Types PLAI and HLL Types                                                                    
Mon, Nov 12 Tue, Nov 13 Haskell Chapters 7 & 8 Haskell 1 Haskell 1 Homework 6 HW6.pl Quiz 9 Quiz 9                                                            
        Learn you a Haskell                                                                    
        Haskell Wiki                                                                    
        A Gentle Intoduction to Haskell                                                                    
        Prelude Tour                                                                    
        09H1.hs                                                                    
Wed, Nov 14 Thu, Nov 15 Continue from last class.   Haskell 2 Haskell 2                                                                    
        HaskellDB.hs                                                                    
        10H2.hs                                                                    
        10Logic.hs                                                                    
        10Movie.hs                                                                    
        Advanced Haskell                                                                    
        List Comprehension                                                                    
Mon, Nov 19 Tue, Nov 20 Gödel's Incompletness Theorem   Gödel Gödel                                                                    
        The Inconsistency of Arithmetic                                                                    
Wed, Nov 21 Thu, Nov 22 No Class - Thanksgiving Holiday                                                                          
Mon, Nov 26 Tue, Nov 27 Project Reviews Project Requirements/Suggestions Schedule                                                                  
Wed, Nov 28 Thu, Nov 29 Project Reviews                                                                        
Mon, Dec 03 Tue, Dec 04 Selected Project Presentations   Schedule                                                                    
Wed, Dec 05 Thu, Dec 06 Review   Review Review                                                                    
Fri, Dec 14   FINAL EXAM (Cumulative) 7:00 - 10:00 pm,
in JGB 2.324 which is the MW classroom. 
Both sections of this class will have their Final Exam on Friday, Dec. 14                                                                        
                                                                               
Code is requested by Tuesday, December 11th for the following Projects:
Please submit, via email, the named
zip file.
The code must be Accepted by Monday, December 17th.
(To be accepted, your code must build and run on my Mac and it must include your presentation, a README file that gives instructions for building and running the code and files of example code that you used during your presentation.)
                                                             
Class presentation day Project Members zip file requested
(For Rel projects, only submit changed files but please maintain the jython director structure in your zip file.)
Accepted Doc Comments                                                      
  Petuchowski,Ethan;Hust,Justin;Doty,Simon  lisp_test_cases.zip X Doc  - Used jjtree, print, Env, and Interp (rebuilds Env) visitors, lots of test cases with very nice demo, S&D scoping (set scoping cmd in interp) , nice Presentation                                                      
  Petuchowski,Ethan;Hust,Justin;Doty,Simon  subquery_MULgetSelects.zip X Doc  - Multiple calls to getSelect                                                      
Tuesday Damle,Makarand;Rajabzadeh,Ebrahim; lisp_nice-Interp.zip X Doc  - Handmade AST classes with nice eclipse diagram, 2 visitors (print, eval), D&S scoping, very nice interpreter.                                                      
Tuesday Damle,Makarand;Rajabzadeh,Ebrahim; subquery_levels.zip X Doc  - Created levels in the data structures (preso shows levels as does debug output), fixed bug for where variable not in projection list.                                                      
Monday Krishnan,Anil;Lubke,Michael; lisp_SandDboth_called.zip X Doc  - Used jjtree, print and interp visitors, S&D scoping (both are called), very nice presentation of AST.                                                      
Monday Krishnan,Anil;Lubke,Michael; subquery_mon.zip X Doc  - Multiple getSelect statements.                                                      
  Rondan,Albert;Cahail,Steven;Poulter,Ethan  jSIMParser_BojjT.zip X Doc  - Used jjTree and Bo's, very nice print visitor, modified Python.g, called SIMHelper from their visitor.                                                      
Tuesday Arit,Paul;Hitte,Chris; jSIMParser_jSQLParser.zip X Doc  - Modified jSQLParser to generate a SIM AST. Very Nice.                                                      
  Johnson,Damien;Bezerra Barbosa,Raul;Vaughn,Matthew  jSIMParser_jSQLParser_junit.zip X Doc  - Used jSQLParser as outline, put SIMDemo in jUnit to test parser, modified Python.g, very good work.                                                      
Monday Lynch,John;Nesbitt,Paul;Isaacks,Jay  jSIMParser_BojjT_preso.zip X Doc  - Used jjTree, Print and SIM visitors, modified Python.g, nice presentation (can be made into a pdf), added some jUnit.                                                      
  Nelluru,Pradhyumna;Scherer,Kurt;Brown,Andy  LDAP_triples.zip X Doc  - Very detailed Presentation, used "_|…|_", new constructors for PyTuple that are passed triples.                                                      
  Hester,Will;Schwartz,Matt;Floyd,Daniel  LDAP_delete.zip X Doc  - Got Add, Modify, Delete, Search (ands don't work but or and nesting works), Bind only parsing. Added one method to sparqldoer to better do delete. Python expressions work. Don't retrun python tuples Built parseLDAP and LDAPHelper Good presentation.                                                      
  Sandhu,Devin;Carroll,Paul;Torres,Thomas  LDAP_full.zip X Doc  - Bind (used Connection.java), Unbind, Add, Delete, Search (and, or, and nesting work), Compare, Abandon. Python expressons work. Don't return python tuples.   Nice Presentation. Used SIM to build Class for OU, DC is the graph name. Were able to query using SIM.                                                      
Tuesday Alcantara,Paulo;Smalley,Clay; LDAP_ldapstart.zip X Doc  - Added parserLDAP() method and LADPHelper, found a bug in Delete (doesn't work if type is not right), did  "_|…|_", did ldapstart and ldapend, initialized everything using SIM, nide demo, Very, very nice work.                                                      
Monday Coney,Chris;Porras,Michael;Sepulveda,Wendy  LDAP_sql.zip X Doc  - Nice presentation, python expressoins work using "_|…|_", multiple lines worked, converted DLAP to SQL and passed it to jSQLParser. Brillant.                                                      
Monday Tuesday Hicks,Matthew;Aggrey,Isaac;Munoz,Josan  jPLAI.zip X Doc  - Handmade AST classes, ASTNode with Type, Print, Interp visitors, Env as hashmap, nice examples, results as FAE, just static scoping, curried multiple bindings. Implementation is very close to FAE. Nice way of preloading the Env.                                                      
  Zhang,Shun;Rao,Wang;Zhu,Zeyuan  Lisp.zip X Doc  - AST by hand, curried functions, no combinators, very nice presentation.                                                      
  Sone,Jasper;McClure,Matthew;Toibazarov,Erik  Lisp_HTML_AST.zip X Doc  - Used jjtree, AST in HTML.                                                      
Tuesday Ismail,Faraaz;Smith,Brett;Glass,Paul  Lisp_preso2.zip X Doc  - Env as linked HashMap, Recursion as cyclic Env per PLAI, lists, S&D scoping, whole number combinators with Y working.                                                      
  Cunningham,Lloyd;Kaman,Dallas; Lisp_antlr.zip X Doc  - Used ANTLR, REPL, Dynamic typing, currying for combinators, define -> global Env., used define to define combinators, very nice trace.lisp --print-ast, --trace                                                      
Monday Kraft,George;Ghoreyshi,Arash; Lisp_preso1.zip X Doc  - AST nodes built by hand, no dynamic scoping, multiple bindings, rescursion with if statements, lists, combinators in the Env. (needed currying to get this to work). Need simpler trace                                                      
  Sanchez,Rogelio;Seydoux,Nicolas; Lisp_defaultEnv.zip X Doc  - No jjtree, no print visitor, curried multiple bindings, nice default Env, lists and list ops  very, very nice presentation and examples.                                                      
Monday Wilke,Jake;Hernandez,Sophia;Gresham,Daniel  OOReL.zip X Doc  - ClassDef tBox-> DBClassWritter, hooks in Assign aBox-> DBClassWriter, pickel dump writes to DB. Nice Inferecning.                                                      
Tuesday Spohrer,Steven;Capetillo,EJ; OOReL_exprs.zip X Doc  - Changed Python.g to allow INVERSE, REQUIRED, MV. Added ClassDbBuilder which calls SIMHelper which they modified a bit, modified pickel dump,                                                       
Monday Tuesday Braun,Ben;Rogers,Joseph; PRALine.zip X Doc  - PRALine, Jflex/Beaver with make, did add, mul, <, fib and Ackermann                                                      
  Lopez de Vergara, Andres;Watson,Shaelyn;Muller,Oscar prover9.zip X Doc  - Used antlrworks to modify Python.g and integrated Prover9 into ReL. Prover9 is an automated theorem prover for first-order and equational logic. Didn't allow python expressions, however.