FUNCTIONAL AND LOGIC PROGRAMMING DIRECTED STUDY

 

Supervisor: Evangelos Milios

 

Students: Mama Benchaffai, Raphael Di Cicco, Gregory Debord

 

Schedule (lectures): Meetings in CS auditorium unless otherwise specified.
 
Lecture
Presentation
Assignment
Date
Time
Procedural abstraction in Scheme
Raphael
Mama, Gregory
Mon, Oct 1
  6:00->7:00 pm
Data abstraction in Scheme (1/2)
Mama
Raphael, Gregory
Wed, Oct 10
  6:00->7:00 pm (Seminar Rm 2)
Data abstraction in Scheme (2/2)
Gregory
Raphael, Mama
Mon, Oct 15
  6:00->7:00 pm
Metalinguistic abstraction (1/2)
Mama
Raphael, Gregory
Mon, Oct 22
  6:00->7:00 pm
Metalinguistic abstraction (2/2)
Gregory
Raphael, Mama
Mon, Oct 29
  6:00->7:00 pm
Logic programming (1/2)
Mama
Raphael, Gregory
Thur, Nov 15
  7.00->8:30 pm 
Logic programming (2/2)
Raphael
Mama, Gregory
Mon, Nov 19
6:00->7:00 pm   
Lambda calculus
Raphael
Mama, Gregory
Mon, Nov 26
  6:00->7:00 pm
Garbage collection
Gregory
Raphael, Mama
Mon, Dec 3
 6:00->7:00 pm
       
 

 

 

Evaluation Method

 
Presentations  

Form (presenter only)

 10%

Content (presenter only)

 20%

Ability to handle questions (all)

 20%
Assignments (due on day of presentation)  

Content (preparers only)

 30%

Model solutions (preparers only)

 20%
   


All components will be marked on a letter scale, and averages will be computed using the GPA equivalents.
Students will prepare and give 9 nominal hours of lectures on the course topics (3 hours each).

Presentations should be timed for 40 minutes, leaving 20 minutes for questions.

The content and form of their presentation will be marked according to given quality criteria, including their ability to handle questions on the presented material. Students will prepare assignments and model solutions. The supervisor will provide guidance on how to structure the lectures, and he will answer questions on the content. The students will meet with the supervisor once a week for an hour.

Reading List
- Chapters 1, 2 and 4 of [SICP]
- Appendices A and B of [FSSPL]
- Chapter 11 and the section on garbage collection of [PLP]
- Web resources from: http://www.cs.dal.ca/~eem/3136/

 

References

Main readings:
[SICP] H. Abelson, G. Sussman: Structure and Interpretation of Computer Programs, 2nd ed., MIT Press, 1996. (includes full text in HTML format).

[PLP] M. Scott: Programming Language Pragmatics, Morgan Kaufmann Publishers, 2000, ISBN: 1558604421

[FSSPL] Kenneth Slonneger and Barry L. Kurz. Formal Syntax and Semantics of Programming Languages, Addison Wesley, 1995. This book is currently out of print but is available on the Web.

 

Supplementary readings:

Robert W.Sebesta, Concepts of programming languages Addison Wesley, Fifth edition, 2002

Leslie B.Wilson and Robert G.Clark: Comparative programming languages, Addison Wesley, Third edition, 2001

Terrence W.Pratt and Marvin V.Zelkowitz: Programming languages Design and Implementation, Prentice Hall, Fourth edition, 2000

[OOSC] B. Meyer: Object-oriented Software Construction, 2nd ed. Prentice Hall, 1997.

[MCIJ] A. Appel: Modern Compiler Implementation in Java, Cambridge Univ. Press 1998, ISBN: 0 521 58388 8