SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages

Marek Kosta 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 Automation of Logic
MPII - Max-Planck-Institut für Informatik
Type de document :
Communication dans un congrès
Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 2013, Nanning, China. 2013
Liste complète des métadonnées
https://hal.inria.fr/hal-00931958
Contributeur : Stephan Merz <>
Soumis le : jeudi 16 janvier 2014 - 10:21:10
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13

Identifiants

  • HAL Id : hal-00931958, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Marek Kosta. SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages. Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 2013, Nanning, China. 2013. 〈hal-00931958〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

103

Contact


archive-ouverte@inria.fr