Formal Foundations for Semi-parsing
| Authors | |
|---|---|
| Publication date | 2014 |
| Host editors |
|
| Book title | 2014 Software Evolution Week |
| Book subtitle | IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) : proceedings : February 3-6, 2014, Antwerp, Belgium |
| ISBN |
|
| Event | CSMR-WCRE 2014 |
| Pages (from-to) | 313-317 |
| Publisher | Piscataway, NJ : IEEE |
| Organisations |
|
| Abstract | There exist many techniques for imprecise manipulation of source code (robust parsing, error repair, lexical analysis, etc), mostly relying on heuristic-based tolerance. Such techniques are rarely fully formalised and quite often idiosyncratic, which makes them very hard to compare with respect to their applicability, tolerance level and general usefulness. With a combination of recently developed formal methods such as Boolean grammars and parsing schemata, we can model different tolerant methods of modelling software and formally argue about relationships between them. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1109/CSMR-WCRE.2014.6747184 |
| Published at | http://grammarware.net/text/2014/semiparsing.pdf |
| Downloads |
semiparsing.pdf
(Accepted author manuscript)
|
| Permalink to this page | |