On the semantics of loop transformation languages

Abstract : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal-mines-paristech.archives-ouvertes.fr/hal-01939516
Contributeur : Claire Medrala <>
Soumis le : mardi 11 décembre 2018 - 09:50:39
Dernière modification le : mercredi 12 décembre 2018 - 01:24:10
Document(s) archivé(s) le : mardi 12 mars 2019 - 12:38:22

Fichier

A-693.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01939516, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

64

Téléchargements de fichiers

116