SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Thu 16 Oct 2025 16:00 - 16:30 at Peony SE - Languages Chair(s): Tomoharu Ugawa

Transformation of context-free grammars into LL(1) form enables construction of simple and efficient parsers. However, if semantics are overlooked, the transformation is likely to result in a complex grammar that needs to be manually aligned with the original semantics. This work presents a method of semantics-preserving grammar transformation into LL(1) form using a representation based on trees. Grammar rules and their semantics are modelled as typed tree nodes, which enables elimination of LL(1) conflicts while retaining the original semantics. Transformed grammars can be used to construct continuation-passing style parsers that produce parse trees matching the original grammar. It is shown how this approach can be applied to the design of domain-specific languages in Java, resulting in size and type complexity linear in the size of the transformed grammar.

Thu 16 Oct

Displayed time zone: Perth change

16:00 - 17:30
LanguagesOnward! Papers at Peony SE
Chair(s): Tomoharu Ugawa University of Tokyo
16:00
30m
Talk
Semantics-preserving Transformation of Context-free Grammars into LL(1) Form
Onward! Papers
16:30
30m
Talk
An Argument for the Practicality of Entity Component Systems as the Primary Data Structure for an Interpreter or Compiler
Onward! Papers
Joshua Dahl University of Nevada, Reno, Frederick C. Harris Jr. University of Nevada, Reno
17:00
30m
Talk
TideScript: A Domain Specific Language for Peptide Chemistry
Onward! Papers
Nicholas Morris University of Glasgow, Blair Archibald University of Glasgow, S Hessam M Mehr University of Glasgow