Static Complexity Analysis of Higher Order Programs

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

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 proceedingArticle in proceedingsResearch

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, 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",

}

RIS

TY - GEN

T1 - Static Complexity Analysis of Higher Order Programs

AU - Avery, James Emil

AU - Kristiansen, Lars

AU - Moyen, Jean-Yves

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

ER -

ID: 15433259