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

Lazy Functional Incremental Parsing

Jean-Philippe Bernardy (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September p. 49-60 . (2009)
[Konferensbidrag, refereegranskat]

Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the edited document. The structured representation has a number of uses: structural navigation (and optional structural editing), structure highlighting, etc. The construction of the structure must be done incrementally to be efficient: the time to process an edit operation should be proportional to the size of the change, and (ideally) independent of the total size of the document. We show that combining lazy evaluation and caching of intermediate (partial) results enables incremental parsing. We build a complete incremental parsing library for interactive systems with support for error-correction.

Nyckelord: Lazy evaluation, Incremental Computing, Parsing, Dynamic Programming, Polish representation, Editor, Haskell

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2009-06-12. Senast ändrad 2011-01-15.
CPL Pubid: 94979


Läs direkt!

Lokal fulltext (fritt tillgänglig)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)


Informations- och kommunikationsteknik

Chalmers infrastruktur