Loop quasi-invariant chunk motion by peeling with statement composition
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Moyen_2017_Loop_quasi-invariant
Final published version, 225 KB, PDF document
Original language | English |
---|---|
Title of host publication | Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis |
Editors | Guillaume Bonfante, Georg Moser |
Number of pages | 13 |
Publisher | Open Publishing Association |
Publication date | 2017 |
Pages | 47-59 |
DOIs | |
Publication status | Published - 2017 |
Event | 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis - Uppsala, Sweden Duration: 22 Apr 2017 → 23 Apr 2017 |
Workshop
Workshop | 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis |
---|---|
Land | Sweden |
By | Uppsala |
Periode | 22/04/2017 → 23/04/2017 |
Series | Electronic Proceedings in Theoretical Computer Science |
---|---|
Volume | 248 |
ISSN | 2075-2180 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 178883917