Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal-mines-paristech.archives-ouvertes.fr/hal-01939516
Contributor : Claire Medrala <>
Submitted on : Tuesday, December 11, 2018 - 9:50:39 AM
Last modification on : Thursday, September 24, 2020 - 4:36:04 PM
Long-term archiving on: : Tuesday, March 12, 2019 - 12:38:22 PM

File

A-693.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

113

Files downloads

254