CS 512-3
Declarative Programming
Catalog Description
An advanced level course on non-procedural programming with emphasis on logic programming, pure functional programming, and the characteristics of the declarative style common to these two paradigms. Topics include logic programming, functional programming, implementation consideration for each along with current research topics in the areas.
Prerequisite:
CS 311.
Course Outline
| 1. | Introduction | |
| 2. | Logic programming | |
| 3. | Functional Programming | |
| 4. | Conclusion: Discussion on above component including parallelism in very high level languages | |