talk · community record
Code Generation (featuring Tikhon Jelvis)
Marianne Bellotti invites Tikhon Jelvis on to discuss code generation and translating programs into a form the Z3 SMT solver can reason about as proofs.
01
Connections
1 relationship
Marianne Bellotti invites Tikhon Jelvis on to discuss code generation and translating programs into a form the Z3 SMT solver can reason about as proofs.
1 relationship