Towards a Theory of Document Structure
Book chapter, 2009
The structure of documents of various degree of formality, from scientific
papers with layout information and programs with their documentation
to completely formal proofs can be expressed by assigning a type to the
abstract syntax tree of the document. By using dependent types – an
idea from type theory – it is possible to express very strong syntactic
criterion on wellformedness of documents. This structure can be used
to automatically generate parsers, type checkers and structure oriented
editors.
concrete syntax
document structure
type theory
abstract syntax
semantics
editor
Author
Bengt Nordström
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
From Semantics to Computer Science
Vol. 9780521518253 265-279
Subject Categories
Computer Science
DOI
10.1017/CBO9780511770524.013