DSSE Technical Reports


Declarative Languages in Education

Hugh Glaser, Pieter H. Hartel, Michael Leuschel, and Andrew Martin.

January 1 2000.


Declarative languages can be, and indeed are, widely used in education. Some areas are in fact completely dominated by declarative languages, such as formal methods in software engineering, and artificial intelligence. Other areas, such as operating systems rely less on specific declarative ideas. However as understanding of Computer Science increases, the formal basis for such subjects is growing, and with it the need to teach in a declarative fashion.
We conclude the article with an extensive bibliography, from which we hope the interested reader can find support for teaching with declarative languages and ideas.

Full paper (18 pages) available in gzipped postscript.

Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton
Highfield, Southampton SO17 1BJ, United Kingdom

Valid HTML 4.01!