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

More information

Latest update

7/12/2024