Lazy functional incremental parsing

9 years 3 months ago
Lazy functional incremental parsing
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. Categories and Subject Descriptors D.3.4 [Programming Languages]: Processors; D.2.3 [Coding Tools and Techniques]: Pro
Jean-Philippe Bernardy
Added 28 May 2010
Updated 28 May 2010
Type Conference
Year 2009
Authors Jean-Philippe Bernardy
Comments (0)