CS 6715 Functional-Logic Programming

LECTURES 2008


Syllabus
Assigns
Notes
Projects
Resources

Notes as PPT Slide Source    (as PDF)

Week 1

Jan 11
Overview

Motivation,
Data Flow Diagrams

 

Week 2

Jan 18
Intro

Hands-on Demo, Assign 0

 

Week 3

Jan 25
Terms

Intro
Terms, Assign 1

 

Week 4

Feb 1
Clauses


Clauses

 

Week 5

Feb 8
Recursion


Recursion, Assign 2

Assign 1 due

Week 6

Feb 12 (exceptional: 4PM, NRC)
Higher-Order Operations


Project Topics

 

Week 7

Feb 22 (again: 1:30PM, H-E131)
Tree Similarity FLP


(Lu Yang)

 

Week 8

Feb 29 (normal: 1:30PM, H-E3A)
Non-Determinism


Non-Determinism,
Assign 3

Assign 2 due

          mid-

term

break

 

Week 9

Mar 14
RFML: XML-based FLP exchange


Functional RuleML: Standardising FLP

Project Sketches due

        Eas-

ter

break

Mar 20:
Final Project Proposals due

Week 10

Mar 28
Source-to-Source Transformation


Source-to-Source Transformation

Assign 3 due

Week 11

Apr 4
Interpreter Implementation


Interpreter Implementation

Initial Project Sources due

Week 13

Apr 11
Project Presentations


Project Presentations

Project Slides due

Week 14

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



 

 

Apr 25 1:30 PM

 

Final Project Documentation due

 


Maintained by Harold Boley