Mário Feroldi

3,095
reputation
2
24
48

Compilers: trying to solve the halting problem since 1951.