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, Datavetenskap (Chalmers))
From Semantics to Computer Science (13: 9780521518253). p. 265-279. (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.

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

Denna post skapades 2009-03-18. Senast ändrad 2017-06-28.
CPL Pubid: 91597


Läs direkt!

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

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)


Datavetenskap (datalogi)

Chalmers infrastruktur