Certifying delta-oriented programs