• Home
  • Towards a Theory of Document Structure

Towards a Theory of Document Structure

Sourcetitle: 
From Semantics to Computer Science
Year of publication: 
2009
PublicationType: 
Scientific journal article - peer reviewed

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.

http://www.cs.chalmers.se/~bengt/papers/GKdocument-structure.pdf

Sourcepages: 
265-279
To the top

Page updated: 2012-01-30 14:01

Send as email
Print page
Show as pdf

X
Loading