abbozzo semantica denotazionale imp