~/talk

Nanopass Attribute Grammars

Talkat SLE 2023 · 2023-10-23..10-24· [compilers-and-language-design]

speakers

name:Nathan Ringo

links:none on file

name:Lucas Kramer

links:none on file

name:Eric Van Wyk

website:http://www.cs.umn.edu/~evw

resources

video:https://youtu.be/v_pnINTdcEY

slides:none on file

summary

Presents a formalism and prototype that combine nanopass compilers with attribute grammars, implementing a significant subset of Go to validate the approach. Uses transform attributes that auto-generate recursive propagation equations, and annotations to persist analyses (types) across pass boundaries. The system statically checks language well-definedness and circularity, lets many lowerings be written as one-line transforms instead of large rewrites, and ships a prototype and artifacts that demonstrate the technique working end-to-end.

AI-written summary · about

chapters (9)

related talks