WG211/M21Mosses

From WG 2.11
Revision as of 08:40, 11 August 2022 by Peter (talk | contribs) (Created page with "The Spoofax language workbench supports precise code navigation for any language whose syntax and name resolution have been specified in its meta-languages. However, Spoofax o...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The Spoofax language workbench supports precise code navigation for any language whose syntax and name resolution have been specified in its meta-languages. However, Spoofax only runs locally, and it does not support navigation when browsing code repositories online.

This talk is about a toolchain to generate PDFs and web pages that support the same navigation online as Spoofax does locally. The technique is currently being prototyped on the CBS (Component-Based Semantics) specification language. When browsing a CBS specification locally in Spoofax, we can now generate not only a parser and compiler for the specified language, but also PDFs and web pages for navigating its CBS specifications online.