Mads Rosendahl
Mads Rosendahl
Vahvistettu sähköpostiosoite verkkotunnuksessa ruc.dk
Nimike
Viittaukset
Viittaukset
Vuosi
Prevention of injuries in young female players in European team handball. A prospective intervention study
N Wedderkopp, M Kaltoft, B Lundgaard, M Rosendahl, K Froberg
Scandinavian journal of medicine & science in sports 9 (1), 41-47, 1999
4531999
Automatic complexity analysis
M Rosendahl
Proceedings of the fourth international conference on Functional programming …, 1989
2341989
Injuries in young female players in European team handball
N Wedderkopp, M Kaltoft, B Lundgaard, M Rosendahl, K Froberg
Scandinavian journal of medicine & science in sports 7 (6), 342-347, 1997
1371997
Higher-order minimal function graphs
ND Jones, M Rosendahl
International Conference on Algebraic and Logic Programming, 242-252, 1994
241994
Higher-order chaotic iteration sequences
M Rosendahl
International Symposium on Programming Language Implementation and Logic …, 1993
231993
Efficient strictness analysis of Haskell
KD Jensen, P Hjæresen, M Rosendahl
International Static Analysis Symposium, 346-362, 1994
121994
Minimal Function Graphs are not Instrumented.
A Mycroft, M Rosendahl
WSA 92, 60-67, 1992
111992
Minimal Function Graphs are not Instrumented.
A Mycroft, M Rosendahl
WSA 92, 60-67, 1992
111992
ENTRA: Whole-systems energy transparency
K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, ...
Microprocessors and Microsystems 47, 278-286, 2016
102016
Approximating term rewriting systems: a horn clause specification and its implementation
JP Gallagher, M Rosendahl
International Conference on Logic for Programming Artificial Intelligence …, 2008
102008
Strictness analysis for attribute grammars
M Rosendahl
International Symposium on Programming Language Implementation and Logic …, 1992
91992
Abstract interpretation and attribute grammars
M Rosendahl
81991
Automatic program analysis
M Rosendahl
Master's Thesis. Institute of Datalogy, University of Copenhagen, 1986
81986
Abstract interpretation as a programming language
M Rosendahl
arXiv preprint arXiv:1309.5133, 2013
62013
Abstract interpretation using attribute grammars
M Rosendahl
Attribute Grammars and their Applications, 143-156, 1990
61990
Probabilistic output analysis by program manipulation
M Rosendahl, MH Kirkeby
arXiv preprint arXiv:1509.08566, 2015
52015
Probabilistic resource analysis by program transformation
MH Kirkeby, M Rosendahl
International Workshop on Foundational and Practical Aspects of Resource …, 2015
52015
Simple driving techniques
M Rosendahl
The Essence of Computation, 404-419, 2002
42002
Introduction to abstract interpretation
M Rosendahl
Computer Science University of Copenhagen, 1995
41995
Introduction to graphics programming in Java
M Rosendahl
22006
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20