Declarative Languages in Education

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

Declarative Languages in Education

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

65 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 language	Undefined
Title of host publication	Encyclopaedia of Microcomputers
Place of Publication	New York
Publisher	Marcel Dekker
Pages	79-102
Number of pages	24
ISBN (Print)	0-8247-2726-6
Publication status	Published - 2001

Publication series

Name
Publisher	Marcel Dekker Inc.
Number	27

Keywords

METIS-203331
EWI-963
IR-36892

Access to Document

http://www.dsse.ecs.soton.ac.uk/techreports/95-03/2000-1.html

Cite this

@inbook{9a31bf85be1848fd99894345996e6833,

title = "Declarative Languages in Education",

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.",

keywords = "METIS-203331, EWI-963, IR-36892",

author = "Hartel, {Pieter H.} and Hugh Glaser and Michael Leuschel and Andrew Martin",

note = "Imported from DIES",

year = "2001",

language = "Undefined",

isbn = "0-8247-2726-6",

publisher = "Marcel Dekker",

number = "27",

pages = "79--102",

booktitle = "Encyclopaedia of Microcomputers",

address = "United States",

}

TY - CHAP

T1 - Declarative Languages in Education

AU - Hartel, Pieter H.

AU - Glaser, Hugh

AU - Leuschel, Michael

AU - Martin, Andrew

N1 - Imported from DIES

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

KW - METIS-203331

KW - EWI-963

KW - IR-36892

M3 - Chapter

SN - 0-8247-2726-6

SP - 79

EP - 102

BT - Encyclopaedia of Microcomputers

PB - Marcel Dekker

CY - New York

ER -