CS 6905 Advanced Topics in Computer Science:
Functional and Logic Programming

LECTURES


Syllabus
Assigns
Notes
Projects
Resources

Notes as PPT Slide Source    (as PDF)

Week 1

Jan 6
Overview

Motivation,
Hands-on Demo

 

Week 2

Jan 13
Python

Intro, Assign 0

 

Week 3

Jan 20
Terms


Terms, Assign 1

 

Week 4

Jan 27
Clauses


Clauses

 

Week 5

Feb 2
Recursion


Recursion, Assign 2

Assign 1 due

Week 6

Feb 9
Non-Determinism

Non-Determinism,
Assign 3

 

Week 7

Feb 16
Higher-Order Operations


Project Topics

Assign 2 due

Week 8

Feb 23
RFML: XML-based FLP exchange

Four FLP kernel notions: Serialise (slides 8 through 23)

Assign 3 due, Project Sketches

Week 9

Mar 2
Project Discussion


Project Discussion

Final Project Proposals due

          mid-

term

break

 

Week 10

Mar 16
Project Work


Project Work

 

Week 11

Mar 23
Basic RuleML


Transformational RuleML

 

Week 12

Mar 30
Source-to-Source Transformation


Interpreter Implementation

Initial Project Sources due

Week 13

Apr 6
Project Presentations


Project Presentations

Project Slides due

Week 14

Apr 13
Question-and-Answer Session



 

 

Apr 20
Final Exam 2:30 PM until 4:00 PM

 

 

 

Apr 27

 

Final Project Documentation due

 


Maintained by Harold Boley