In this universe, that is called symbolic computation or functional programming.