~/talk

Vision: The Next 700 Language Workbenches

Talkat SLE 2021 · 2021-10-17..10-18· [compilers-and-language-design]
slides:none on file

Argues for making language workbench definitions algebraic and actionable by adding five concrete feature groups: meta-definitions, meta-modifications, meta-process, language-workbench self-features, and program/mogram support. Shows a designed mechanism for specification of explicit dependencies between language concerns and a working example of eyedropping the HIGHLIGHTER from one concept to another. Uses signature morphisms and institution theory to implement customizable, composable language aspects, and claims this enables reusable, parameterized language definitions and the “next 700” language workbenches.

AI-written summary · about

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.