3All non-trivial semantic properties of programs are undecidable.
© Gregor Richards. | Design by TEMPLATED.