Customize

1. You can enlarge the whole site (character size and with) by using the browser function to change characters size.

2. To your right it is possible to change the character size, font, spacing, characters and letters as well as adjust the colours. This will have consequences for the appearance of the whole website design. It will effect all pages at the University  of Gothenburg's website. The changes will remain the next time you log in. (To save your changes the browser must allow cookies.)

*Changes has been made to the look of this website


  • 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