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 |