<p>Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular SMT solver, can run as proofs. Full of enthusiasm she invites the software engineer who gave that talk, Tikhon Jelvis, to elaborate on the similarities between SMT and code normally generated by the compiler.</p>

Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular SMT solver, can run as proofs. Full of enthusiasm she invites the software engineer who gave that talk, Tikhon Jelvis, to elaborate on the similarities between SMT and code normally generated by the compiler.

Code Generation (featuring Tikhon Jelvis)

Marianne Bellotti wants to understand how the people who design programming languages do what they do, so she's jumping right in and giving it a shot by writing her own language. Follow along as she struggles to understand parsers, lexers, grammars, gets philosophical about the nature of error handling and gets in way over her head too easily and too often.

Share Code Generation (featuring Tikhon Jelvis)

Sign up to save your podcasts

Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)