CS 6715 Functional-Logic Programming

LECTURES 2009


Syllabus
Assigns
Notes
Projects
Resources

Notes as PPT Slide Source    (as PDF)

Week 1

Jan 8
Overview

Principles (Motivation, FP+LP
Data Flow Diagrams)

 

          no

class

 

 

Week 2

Jan 22
Intro

Hands-on Demo, Assign 0

 

Week 3

Jan 29
Terms


Terms, Assign 1

 

Week 4

Feb 5
Clauses


Clauses

 Assign 1 due

Week 5

Feb 12 (exceptional: 10:00AM)
Recursion


Recursion, Assign 2

 

Week 6

Feb 19
Higher-Order Operations


Project Topics

Assign 2 due

Week 7

Feb 26 (exceptional: 10:00AM)
Non-Determinism


Non-Determinism,
Assign 3

Project Sketches due

          mid-

term

break

 

Week 8

Mar 12
RFML: XML-based FLP exchange


Functional RuleML: Standardising FLP

Assign 3 due

Week 9

Mar 19
Source-to-Source Transformation


Source-to-Source Transformation

Final Project Proposals due

Week 10

Mar 26
Interpreter Implementation


Interpreter Implementation

Initial Project Sources due

Week 11

Apr 2 (1:30PM, H-E131)
Tree Similarity FLP


(Lu Yang)

 

Week 12

Apr 9
Project Presentations


Project Presentations

Project Slides due

 

Apr 23
Final Exam 1:30 PM until 3:00 PM



 

 

Apr 30 1:30 PM

 

Final Project Documentation due

 


Maintained by Harold Boley