Do modern compiler (register allocation/ instruction generation) involve some ki... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		dgan 3 months ago \| parent \| context \| favorite \| on: Integer Programming (1977) [pdf] Do modern compiler (register allocation/ instruction generation) involve some kind of integer programming or constraint solving? I vaguely remember compilers using Z3 solver

ngruhn 3 months ago [–]

Many use Z3 for type checking like F*, Liquid Haskell, Dafny.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact