On the semantics of loop transformation languages - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

On the semantics of loop transformation languages

(1, 2)
1
2

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.
Fichier principal
Vignette du fichier
A-693.pdf (395.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01939516 , version 1 (11-12-2018)

Identifiants

  • HAL Id : hal-01939516 , version 1

Citer

Adilla Susungi. On the semantics of loop transformation languages. 2nd International Conference on the Art, Science, and Engineering of Programming, Apr 2018, Nice, France. pp.230-231. ⟨hal-01939516⟩
48 Consultations
128 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More