Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Static complexity analysis of higher order programs
James Emil Avery
, Lars Kristiansen, Jean-Yves Moyen
Datalogisk Institut
2
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Static complexity analysis of higher order programs'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Higher-order Programs
100%
Complexity Analysis
100%
Static Complexity
100%
Program Inputs
50%
First-order
50%
Polynomial Degree
50%
Imperative Programs
50%
Computer Science
Complexity Analysis
100%