2003 by Ute Schmid

Lisp Programming Project

Part of the Lecture "Functional Programming", Winter Term 02/03

Ute Schmid

Computer Science Group , Department of Mathematics/Computer Science, University of Osnabrück


Project Objectives

In the first part of the course "Functional Programming" (October to December 2002), we learned the basic concepts of functional programmming and got practice in writing ML programs during weekly homework assigments. The rest of the course was realized as programming project with the following objectives: The results of the project are reported in a paper by Stephan Weller und Michael von Thaden submitted to the "Informatiktage 2003": [pdf, 4 pages].

Schedule

Usage of generic, grammar-based approach with E-Anti-Unification

Specialized, statistical/heuristic approaches to deal with number sequences

Performance Statistics of the Different Approaches

under construction
Series Result Time (s) Program
(IST-70) 2 5 8 11 14 17 20 23, x(k+1) = x(k)+3 45 IRsg
(IST-70) 1 3 6 8 16 18 36 38, x(k+1) = x(k)+2 if odd(k)
x(k+1) = x(k)*2 if even(k)
200 IRsg
(IST-70) 9 12 16 20 25 30 36 42 3600 IRsg