Hop Operational Semantics Paris, February 23rd Tamara Rezk Indes Team, INRIA Hop Multi-tiers compiler HOP multi-tiers compiler Input: a web application written in a single…