Towards a Theory of Document Structure
Kapitel i bok, 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
Författare
Bengt Nordström
Chalmers, Data- och informationsteknik, Datavetenskap
From Semantics to Computer Science
Vol. 9780521518253 265-279
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1017/CBO9780511770524.013