Executing Declarative Language Definitions
summary
Spoofax implements the claim that high-level declarative meta-languages can generate multiple real tools from one definition: an sdf3 grammar produces a parser and pretty-printer, parenthesizer and syntactic completion automatically; the statics logic language plus scope graphs yields a generated type checker with name resolution, refactoring and code-completion hooks. The workbench is implemented, used in education, research and industry, underpins over 100 papers, and is evolving to Spoofax3 for incremental, live language development.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 2:40Language Design
- 8:05Spoofex
- 12:12SDFS3
- 17:27Disdisambiguation
- 20:02Parenthesization
- 26:01Static Semantics
- 29:00Statics
- 31:55Name Binding
- 34:16Examples
- 38:43Lexical Scope
- 43:55Nonlexical Bindings
- 52:32Conclusion
related talks
15mSulfur: Substitution Generation using a Logical Framework
29mIntegrating Language Engineering into the Software Development Process
19mExtensible Metatheory Mechanization via Family Polymorphism
15mLanguage-Parametric Reference Synthesis
01h 05mAll the Languages Together
45mLogic Meta Programming for Functional Languages
21mSynthesizing Formal Semantics from Executable Interpreters
20mThe Lands Platform: Lan.guages and D.omain S.yntax