Lazy Functional Incremental Parsing
Paper i proceeding, 2009

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.

Editor

Parsing

Polish representation

Lazy evaluation

Incremental Computing

Dynamic Programming

Haskell

Författare

Jean-Philippe Bernardy

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September

49-60

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

ISBN

978-1-60558-508-6

Mer information

Skapat

2017-10-07