CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Towards a Theory of Document Structure

Bengt Nordström (Institutionen för data- och informationsteknik (Chalmers))
From Semantics to Computer Science (13: 9780521518253). p. 265-279. (2009)
[Kapitel]

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.

Nyckelord: document structure, type theory, abstract syntax, concrete syntax, semantics, editor



Denna post skapades 2009-03-18. Senast ändrad 2013-09-25.
CPL Pubid: 91597

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik (Chalmers)

Ämnesområden

Datavetenskap (datalogi)

Chalmers infrastruktur