Proofs and pedagogy; science and systems: The Grammar Tool Box

DOI10.1016/J.SCICO.2007.01.016MaRDI QIDQ2463552zbMATH OpenOpenAlexFDO

Authors A. Johnstone, E. Scott

Publication date 12 December 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2007.01.016

zbMATH Keywords

context-free grammargeneralised parsingtool applicationtool design

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• scientific article; zbMATH DE number 1102592
• Grammar as Mathematics
• scientific article; zbMATH DE number 4202248
• Grammar specification in categorial logics and theorem proving
• scientific article; zbMATH DE number 2050921
• scientific article; zbMATH DE number 1183240

Cited in

(2)

• Recognition is not parsing - SPPF-style parsing from cubic recognisers
• scientific article; zbMATH DE number 2019613 (Why is no real title available?)

This page was built for publication: Proofs and pedagogy; science and systems: The Grammar Tool Box

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463552)