Disambiguation for SDF3 with Deep Priority Conflicts
SDF is a syntax definition formalism used to describe context-free grammars of programming languages. The key principle underlying the design of SDF is declarative syntax definition, so that the user does not need to understand the underlying parsing algorithm, unlike other formalisms such as Yacc. This disambiguation method is able to handle common cases of operator precedence, but the current semantics of priorities fails to disambiguate some other less usual operator precedence that can be found in OCaml or Haskell languages. We propose a new semantics for SDF priorities that generalize the current approach. We describe a possible implementation of a GLR parse-table generator compliant to our semantics, and tested in the Spoofax Language Workbench.
| Disambiguation for SDF3 with Deep Priority Conflicts (beamer.pdf) | 180KiB | 
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 08:30 - 10:00 | |||
| 08:3015m Day opening | Opening Parsing@SLE | ||
| 08:4525m Talk | Disambiguation for SDF3 with Deep Priority Conflicts Parsing@SLE Timothée Haudebourg ENS Rennes, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, NetherlandsFile Attached | ||
| 09:1025m Talk | Multiple input GLL parsing Parsing@SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of LondonFile Attached | ||
| 09:3525m Demonstration | Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern Parsing@SLE Jonathan Aldrich Carnegie Mellon University | ||


