On the semantics of loop transformation languages
Résumé
Languages for loop transformations have been leveraged for different type of tools and frameworks in different application domains, yet they lack formal semantics. As a step towards formal specification, this works intends to clarify the underlying concepts of such languages using a denotational approach.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...