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.

editor

document structure

semantics

concrete syntax

type theory

abstract syntax

Författare

Bengt Nordström

Chalmers, Data- och informationsteknik, Datavetenskap

From Semantics to Computer Science

1397-8052 (ISSN)

265-279

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1017/CBO9780511770524.013

ISBN

9780521518253