 |
 |
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.
Cited literature [14 references]
https://hal-mines-paristech.archives-ouvertes.fr/hal-01939516
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Tuesday, December 11, 2018 - 9:50:39 AM
Last modification on : Wednesday, November 17, 2021 - 12:33:05 PM
Long-term archiving on: : Tuesday, March 12, 2019 - 12:38:22 PM
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Tuesday, December 11, 2018 - 9:50:39 AM
Last modification on : Wednesday, November 17, 2021 - 12:33:05 PM
Long-term archiving on: : Tuesday, March 12, 2019 - 12:38:22 PM
File
A-693.pdf
Files produced by the author(s)