Static Complexity Analysis of Higher Order Programs

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

  • James Emil Avery
  • Lars Kristiansen
  • Jean-Yves Moyen
The overall goal of the research presented in this paper is to find^Mautomatic methods for static complexity analysis of higher order^Mprograms.
OriginalsprogEngelsk
TitelFOPARA 2009 : Preliminary Proceedings
RedaktørerMarko van Eekelen, Shkaravska Olha
Antal sider16
Publikationsdato2009
Sider34-49
StatusUdgivet - 2009
BegivenhedInternational Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09) - Eindhoven, Holland
Varighed: 3 nov. 20093 nov. 2009
Konferencens nummer: 3

Konference

KonferenceInternational Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09)
Nummer3
LandHolland
ByEindhoven
Periode03/11/200903/11/2009

ID: 15433259