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