Contract-Oriented Computing in CO2