Static complexity analysis of higher order programs

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Standard

Static complexity analysis of higher order programs. / Avery, James Emil; Kristiansen, Lars; Moyen, Jean-Yves.

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. ed. / Marko van Eekelen; Olha Shkaravska. Springer, 2010. p. 84-99 (Lecture notes in computer science, Vol. 6324).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Harvard

Avery, JE, Kristiansen, L & Moyen, J-Y 2010, Static complexity analysis of higher order programs. in M van Eekelen & O Shkaravska (eds), Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Springer, Lecture notes in computer science, vol. 6324, pp. 84-99, 1st International Workshop on Foundational and Practical Aspects of Resource Analysis, Eindhoven, Netherlands, 06/11/2009. https://doi.org/10.1007/978-3-642-15331-0_6

APA

Avery, J. E., Kristiansen, L., & Moyen, J-Y. (2010). Static complexity analysis of higher order programs. In M. van Eekelen, & O. Shkaravska (Eds.), Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers (pp. 84-99). Springer. Lecture notes in computer science, Vol.. 6324 https://doi.org/10.1007/978-3-642-15331-0_6

Vancouver

Avery JE, Kristiansen L, Moyen J-Y. Static complexity analysis of higher order programs. In van Eekelen M, Shkaravska O, editors, Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Springer. 2010. p. 84-99. (Lecture notes in computer science, Vol. 6324). https://doi.org/10.1007/978-3-642-15331-0_6

Author

Avery, James Emil ; Kristiansen, Lars ; Moyen, Jean-Yves. / Static complexity analysis of higher order programs. Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. editor / Marko van Eekelen ; Olha Shkaravska. Springer, 2010. pp. 84-99 (Lecture notes in computer science, Vol. 6324).

Bibtex

@inproceedings{6c5de2de99db4784b7f7e6687d793175,
title = "Static complexity analysis of higher order programs",
author = "Avery, {James Emil} and Lars Kristiansen and Jean-Yves Moyen",
year = "2010",
doi = "10.1007/978-3-642-15331-0_6",
language = "English",
isbn = "978-3-642-15330-3",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "84--99",
editor = "{van Eekelen}, Marko and Olha Shkaravska",
booktitle = "Foundational and Practical Aspects of Resource Analysis",

}

RIS

TY - GEN

T1 - Static complexity analysis of higher order programs

AU - Avery, James Emil

AU - Kristiansen, Lars

AU - Moyen, Jean-Yves

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-15331-0_6

DO - 10.1007/978-3-642-15331-0_6

M3 - Article in proceedings

SN - 978-3-642-15330-3

T3 - Lecture notes in computer science

SP - 84

EP - 99

BT - Foundational and Practical Aspects of Resource Analysis

A2 - van Eekelen, Marko

A2 - Shkaravska, Olha

PB - Springer

ER -

ID: 168251778