Implicit Computational Complexity and Compilers
Complexity theory helps us predict and control resources, usually time and space, consumed by programs. Static analysis on specific syntactic criterion allows us to categorize some programs. A common approach is to observe the program’s data’s behavior. For instance, the detection of non-size-increa...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017USPCD076/document |