Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

UCPH Department of Computer Science

Known as: Department of Computer Science (University of Copenhagen), Datalogisk Institut, Kobenhavns Universitet, University of Copenhagen Department of Computer Science 
The UCPH Department of Computer Science (Danish: Datalogisk Institut, DIKU) is a department under the Faculty of Science at University of Copenhagen… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Abstract. Fatigue load assessment of floating offshore wind turbines poses new challenges on the feasibility of numerical… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This work involves the analysis of musical instrument sounds, the creation of timbre models, the estimation of the parameters of… Expand
  • figure 1.1
  • figure 3.3
  • figure 3.13
  • figure 3.12
  • figure 4.6
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates… Expand
  • figure 1.8
Is this relevant?
1997
1997
  • Olivier Danvy
  • Fuji International Symposium on Functional and…
  • 1997
In this experimental work, we extend type-directed partial evaluation (a.k.a. "reduction-free normalization" and "normalization… Expand
Is this relevant?
1996
1996
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the… Expand
Is this relevant?
1995
1995
We describe a new method for polymorphic type inference for the dynamically typed language Scheme. The method infers both types… Expand
  • figure 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Interpretation: a Semantics-Based Tool for Program Analysis Neil D. Jones DIKU, University of Copenhagen, Denmark Flemming… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
Is this relevant?
1994
1994
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?