Static Complexity Analysis of Higher Order Programs

James Emil Avery; Lars Kristiansen; Jean-Yves Moyen

Static Complexity Analysis of Higher Order Programs

James Emil Avery, Lars Kristiansen, Jean-Yves Moyen

Datalogisk Institut

Abstract

The overall goal of the research presented in this paper is to find^Mautomatic methods for static complexity analysis of higher order^Mprograms.

Originalsprog	Engelsk
Titel	FOPARA 2009 : Preliminary Proceedings
Redaktører	Marko van Eekelen, Shkaravska Olha
Antal sider	16
Publikationsdato	2009
Sider	34-49
Status	Udgivet - 2009
Begivenhed	International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09) - Eindhoven, Holland Varighed: 3 nov. 2009 → 3 nov. 2009 Konferencens nummer: 3

Konference

Konference	International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09)
Nummer	3
Land/Område	Holland
By	Eindhoven
Periode	03/11/2009 → 03/11/2009

Citationsformater

@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 = "International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09) ; Conference date: 03-11-2009 Through 03-11-2009",

}

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

T2 - International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA '09)

Y2 - 3 November 2009 through 3 November 2009

ER -

Static Complexity Analysis of Higher Order Programs

Abstract

Konference

Fingeraftryk

Citationsformater