Formalized support for multiple rendering backends