Maybe “programming theory” would have been a good term for computer science (to match with it siblings type theory and category theory in the computational trinitarianism). But as it’s not used this way, see at computer science instead.