CS 6715 Functional-Logic Programming

LECTURES 2007


Syllabus
Assigns
Notes
Projects
Resources

Notes as PPT Slide Source    (as PDF)

Week 1

Jan 9
Overview



 

Week 2

Jan 16
Motivation

Data Flow Diagrams, Assign 0

 

Week 3

Jan 23
Intro

Intro
Hands-on Demo

 

Week 4

Jan 30
Terms


Terms, Assign 1

 

Week 5

Feb 6
Clauses


Clauses

Assign 1 due

Week 6

Feb 13
Recursion


Recursion, Assign 2

 

Week 7

Feb 20
Higher-Order Operations



Project Topics

 

Week 8

Mar 1
Tree Similarity FLP


(Lu Yang)

Assign 2 due

          mid-

term

break

 

Week 9

Mar 13
Non-Determinism


Non-Determinism,
Assign 3

Project Sketches due

Week 10

Mar 20
RFML: XML-based FLP exchange


Functional RuleML: Standardising FLP

Final Project Proposals due

Week 11

Mar 27
Source-to-Source Transformation


Source-to-Source Transformation

Assign 3 due

Week 12

Apr 3
Interpreter Implementation


Interpreter Implementation

Initial Project Sources due

Week 13

Apr 10
Project Presentations


Project Presentations

Project Slides due

Week 14

Apr 17
Question-and-Answer Session



 

 

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

 

 

 

Apr 27 2:30 PM

 

Final Project Documentation due

 


Maintained by Harold Boley