On the semantics of loop transformation languages

Adilla Susungi (1, 2)

1 Mines Paris - PSL (École nationale supérieure des mines de Paris)
2 CRI - Centre de Recherche en Informatique

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.

Mots clés: semantics; meta-programming; code generation and optimization

Domaines: Informatique [cs]; Informatique et langage [cs.CL]; Informatique [cs]; Compilation

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⟩