Abstract
The overall goal of the research presented in this paper is to find^Mautomatic methods for static complexity analysis of higher order^Mprograms.
| Original language | English |
|---|---|
| Title of host publication | FOPARA 2009 : Preliminary Proceedings |
| Editors | Marko van Eekelen, Shkaravska Olha |
| Number of pages | 16 |
| Publication date | 2009 |
| Pages | 34-49 |
| Publication status | Published - 2009 |
| Event | International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09) - Eindhoven, Netherlands Duration: 3 Nov 2009 → 3 Nov 2009 Conference number: 3 |
Conference
| Conference | International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09) |
|---|---|
| Number | 3 |
| Country/Territory | Netherlands |
| City | Eindhoven |
| Period | 03/11/2009 → 03/11/2009 |