Declarative Languages in Education

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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    22 Downloads (Pure)

    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.
    Original languageUndefined
    Title of host publicationEncyclopaedia of Microcomputers
    Place of PublicationNew York
    PublisherMarcel Dekker
    Pages79-102
    Number of pages24
    ISBN (Print)0-8247-2726-6
    Publication statusPublished - 2001

    Publication series

    Name
    PublisherMarcel Dekker Inc.
    Number27

    Keywords

    • METIS-203331
    • EWI-963
    • IR-36892

    Cite this

    Hartel, P. H., Glaser, H., Leuschel, M., & Martin, A. (2001). Declarative Languages in Education. In Encyclopaedia of Microcomputers (pp. 79-102). New York: Marcel Dekker.