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 8
Overview


Motivation

 

Week 2

Jan 15 (H 303)
Intro


Hands-on, Assign 0

 

Week 3

Jan 22
Terms


Terms, Assign 1

 

Week 4

Jan 29
Clauses


Clauses

 

Week 5

Feb 5 (H 303)
Recursion


Recursion, Assign 2

Assign 1 due

Week 6

Feb 12
Recap


Hands-on Training

 

Week 7

Feb 19
Non-Determinism


Assign 3

Assign 2 due

Week 8

Feb 26
Higher-Order Operations

 

Project Topics

 

          mid-

term

break

 

Week 9

Mar 11
Recap


Project Discussion

Assign 3 due,
Project Sketches

Week 10

Mar 18
RFML: XML-based FLP exchange


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

Final Project Proposals due

Week 11

Mar 25
Basic RuleML


Transformational RuleML

 

Week 12

Apr 1
Source-to-Source Transformation


Interpreter Implementation

Initial Project Sources due

Week 13

Apr 8
Project Presentations


Project Presentations

Project Slides due

Week 14

Apr 15
Question-and-Answer Session



 

 

Apr 22
Final Exam 1:00 PM until 2:30 PM

 

 

 

Apr 29

 

Final Project Documentation due

 


Maintained by Harold Boley