Search

Home > Marianne Writes a Programming Language > Code Generation (featuring Tikhon Jelvis)
Podcast: Marianne Writes a Programming Language
Episode:

Code Generation (featuring Tikhon Jelvis)
Category: Technology
Duration: 00:30:04
Publish Date: 2021-04-07 12:34:25
Description:

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.
Total Play: 0