Proofs and pedagogy; science and systems: The grammar tool box

Adrian Johnstone; Elizabeth Scott

doi:10.1016/j.scico.2007.01.016

Proofs and pedagogy; science and systems: The grammar tool box

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	76-85
Number of pages	10
Journal	Science of Computer Programming
Volume	69
Issue number	1-3
Early online date	12 Oct 2007
DOIs	https://doi.org/10.1016/j.scico.2007.01.016
Publication status	Published - 1 Dec 2007

Keywords

context-free grammars
generalised parsing
tool designs tool application
PARSERS

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1016/j.scico.2007.01.016

Cite this

@article{c5b3b610ee4e4a819f2134a967b4a3a1,

title = "Proofs and pedagogy; science and systems: The grammar tool box",

keywords = "context-free grammars, generalised parsing, tool designs tool application, PARSERS",

author = "Adrian Johnstone and Elizabeth Scott",

year = "2007",

month = dec,

day = "1",

doi = "10.1016/j.scico.2007.01.016",

language = "English",

volume = "69",

pages = "76--85",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "1-3",

}

TY - JOUR

T1 - Proofs and pedagogy; science and systems

T2 - The grammar tool box

AU - Johnstone, Adrian

AU - Scott, Elizabeth

PY - 2007/12/1

Y1 - 2007/12/1

KW - context-free grammars

KW - generalised parsing

KW - tool designs tool application

KW - PARSERS

U2 - 10.1016/j.scico.2007.01.016

DO - 10.1016/j.scico.2007.01.016

M3 - Article

SN - 0167-6423

VL - 69

SP - 76

EP - 85

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1-3

ER -