Research Output 1989 2016

Filter
Journal article
2016

ENTRA: Whole-systems energy transparency

Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M. 2016 In : Microprocessors and Microsystems. 47, Part B, p. 278-286

Research output: Contribution to journalJournal articleResearchpeer-review

File

Probabilistic Resource Analysis by Program Transformation

Kirkeby, M. H. & Rosendahl, M. 2016 In : Lecture Notes in Computer Science. 9964, p. 60-80

Research output: Contribution to journalJournal articleResearchpeer-review

2013

Abstract Interpretation as a Programming Language

Rosendahl, M. 2013 In : Electronic Proceedings in Theoretical Computer Science. 129, p. 84-104

Research output: Contribution to journalJournal articleResearchpeer-review

1997

Higher order minimal function graphs

Jones, N. & Rosendahl, M. 1997 In : Journal of Functional and Logic Programming. februar

Research output: Contribution to journalJournal articleResearch

Ja tak til fortsat IT-vækst, men hvordan?

Bødker, K. & Rosendahl, M. 1997 In : Computerworld. december

Research output: Contribution to journalJournal articleResearch