Optimizing Programs with Intended Semantics

  Abstract