Domain-specific regular acceleration

Bernard Boigelot. Domain-specific regular acceleration. STTT, 14(2):193-206, 2012. [doi]

Abstract

Abstract is missing.