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

265-279

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1017/CBO9780511770524.013

Mer information

Senast uppdaterat

2020-09-07