Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs

Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe
December 2022
PDF Long version
Type
Conference paper
Publication
SAS 2022