Declarative Languages in Education


Hartel, Pieter H. and Glaser, Hugh and Leuschel, Michael and Martin, Andrew (2001) Declarative Languages in Education. In: Encyclopaedia of Microcomputers. Marcel Dekker Inc., New York, pp. 97-102. ISBN 9780824727260

open access
Abstract: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.
Item Type:Book Section
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 203331