Execution-based computation formalisms, generalized Rice theorem, Halting Theorem, Specification-based computation formalisms.