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.
editor
document structure
semantics
concrete syntax
type theory
abstract syntax
Author
Bengt Nordström
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
From Semantics to Computer Science
1397-8052 (ISSN)
265-2799780521518253 (ISBN)
Subject Categories (SSIF 2011)
Computer Science
DOI
10.1017/CBO9780511770524.013
ISBN
9780521518253