Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs | Publicación