TeachingSpace
  • CS455/655 Introduction to Computer Networks
    • General Information
    • How to use WireShark in the Undergraduate Lab.
    • Labs
      • Lab 03:
        • Keywords
        • Code Example
      • Lab 04: Wireshark Lab of DNS and HTTP
        • Part 1: DNS Protocol
        • Part 2: HTTP Protocol
        • Part 3: Miscellaneous
  • CS4440/640 Introduction to Artificial Intelligence
    • General Information
    • Discussion Session
      • Lab 01: Python and Unit Test
        • Unit Test in Python
        • Code Example
  • CS320 Concepts of Programming Languages (Spring 2015)
    • General Information
    • Working With CS Computing Resources
    • Contents
      • Discussion Session 1
        • Submissions
        • Python
        • Background
        • Regular Language and Regular Expression
        • BNF: Backus Naur Form
        • Bibliography
      • Discussion Session 2
        • Grammar
        • Parsing
        • Anatomy of LL(k)
        • Eliminating Left Recursion
        • Coding Demo
        • Left-factoring
      • Discussion Session 3
        • Ambiguity X Left Recursion X Associativity
        • Operator Precedence and Associativity
        • Limitation of our implementation of Recursive Descendent Parser
      • Discussion Session 4
        • Language of Regular Expressions
        • Example of Abstract Syntax Tree
        • Match Regular Expression against String
      • Discussion Session 5
        • Computer Architecture
        • Program Examples
        • Tail Call Optimization
        • Bibliography
      • Discussion Session 6: Program Verification
        • Intepretation
        • Bounded Exhaustive Testing
        • Proof by Induction
        • Example of fibonacci function
      • Discussion Session 7: Type System
        • Compiler must terminate!
        • Type Theory
        • Bibliography
      • Discussion Session 8: Unification
        • Statement of Problem
        • Application of Unification
        • A More General Unification Algorithm
        • Bibliography
      • Discussion Session 9: Play with Haskell
        • Problem Set
        • Code Example
      • Discussion Session 10: Search
        • Haskell Syntax
        • Concept
        • Code Example
        • Misc
  • CS320 Concepts of Programming Languages (Summer 2015)
    • General Information
    • Working With CS Computing Resources
    • Contents
      • Lab Session 1
        • Usage of Git
        • Bitbucket
        • Cloud9
        • csa2.bu.edu
      • Lab Session 2
        • Usage of Git: Merge and Resovle Conflict
        • Slides of the session
      • Lab Session 4
        • Unification Problem
        • Bibliography
      • Lecture 06/11/2015
        • Reference and Matrix
        • Game of Tetris
      • Lab Session 5
        • Quick Sort
        • Bibliography
      • Lab Session 6
        • Operations on Braun Tree
 
TeachingSpace
  • Docs »
  • Welcome to Teaching Space’s documentation!
  • Edit on GitHub

Welcome to Teaching Space’s documentation!¶

Courses:

  • CS455/655 Introduction to Computer Networks
    • General Information
    • How to use WireShark in the Undergraduate Lab.
    • Labs
  • CS4440/640 Introduction to Artificial Intelligence
    • General Information
    • Discussion Session
  • CS320 Concepts of Programming Languages (Spring 2015)
    • General Information
    • Working With CS Computing Resources
    • Contents
  • CS320 Concepts of Programming Languages (Summer 2015)
    • General Information
    • Working With CS Computing Resources
    • Contents
Next

© Copyright 2014, Zhiqiang Ren.

Built with Sphinx using a theme provided by Read the Docs.