Standard
Static Complexity Analysis of Higher Order Programs. / Avery, James Emil; Kristiansen, Lars; Moyen, Jean-Yves.
FOPARA 2009: Preliminary Proceedings. ed. / Marko van Eekelen; Shkaravska Olha. 2009. p. 34-49.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Harvard
Avery, JE, Kristiansen, L & Moyen, J-Y 2009, Static Complexity Analysis of Higher Order Programs. in M van Eekelen & S Olha (eds), FOPARA 2009: Preliminary Proceedings. pp. 34-49, International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09), Eindhoven, Netherlands, 03/11/2009.
APA
Avery, J. E., Kristiansen, L., & Moyen, J-Y. (2009). Static Complexity Analysis of Higher Order Programs. In M. van Eekelen, & S. Olha (Eds.), FOPARA 2009: Preliminary Proceedings (pp. 34-49)
Vancouver
Avery JE, Kristiansen L, Moyen J-Y. Static Complexity Analysis of Higher Order Programs. In van Eekelen M, Olha S, editors, FOPARA 2009: Preliminary Proceedings. 2009. p. 34-49
Author
Avery, James Emil ; Kristiansen, Lars ; Moyen, Jean-Yves. / Static Complexity Analysis of Higher Order Programs. FOPARA 2009: Preliminary Proceedings. editor / Marko van Eekelen ; Shkaravska Olha. 2009. pp. 34-49
Bibtex
@inproceedings{47d07c10c4d411debda0000ea68e967b,
title = "Static Complexity Analysis of Higher Order Programs",
abstract = "The overall goal of the research presented in this paper is to find^Mautomatic methods for static complexity analysis of higher order^Mprograms.",
author = "Avery, {James Emil} and Lars Kristiansen and Jean-Yves Moyen",
year = "2009",
language = "English",
pages = "34--49",
editor = "{van Eekelen}, Marko and Shkaravska Olha",
booktitle = "FOPARA 2009",
note = "null ; Conference date: 03-11-2009 Through 03-11-2009",
}
RIS
TY - GEN
T1 - Static Complexity Analysis of Higher Order Programs
AU - Avery, James Emil
AU - Kristiansen, Lars
AU - Moyen, Jean-Yves
N1 - Conference code: 3
PY - 2009
Y1 - 2009
N2 - The overall goal of the research presented in this paper is to find^Mautomatic methods for static complexity analysis of higher order^Mprograms.
AB - The overall goal of the research presented in this paper is to find^Mautomatic methods for static complexity analysis of higher order^Mprograms.
M3 - Article in proceedings
SP - 34
EP - 49
BT - FOPARA 2009
A2 - van Eekelen, Marko
A2 - Olha, Shkaravska
Y2 - 3 November 2009 through 3 November 2009
ER -
