A Programming Model For Precise Computation Control Satisfying Application Specific Semantics. door Jayanth S. Venkataraman