Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Datalogi, IT
- Denotationel semantik
- Flerniveau sprog
- Fortolkere og køretidssystemer
- Højere-ordens programmeringssprog
- Operationel semantik
- Oversættere
- Program generation
- Programanalyse
- programmering
- Programspecialisation
- Semantik af programmeringssprog
- Typesystemer
Publikation
-
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, I: Microprocessors and Microsystems. 47, Part B, s. 278-286Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
Hygienic Quasiquotation in Scheme: Distilled Tutorial
Rhiger, M., sep. 2012, ACM SIGPLAN Workshop on Scheme and Functional Programming. Association for Computing Machinery, 7 s. (Workshop on Scheme and Functional Programming).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Staged Computation with Staged Lexical Scope
Rhiger, M., mar. 2012, Programming Languages and Systems: 21st European Symposium on Programming. Seidl, H. (red.). Springer, Bind 7211. s. 559-579 20 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Type-safe pattern combinators
Rhiger, M., 2009, I: Journal of Functional Programming. 19, 2, s. 145156Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
First-Class Open and CLosed Code Fragments
Rhiger, M., 2007, Trends in Functional Programming. Van Eekelen, M. (red.). Bristol, United Kingdom: Intellect, Bind 6. s. 127-144Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Projekter
- 5 Afsluttet
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Projekter: Projekt › Forskning
-
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2011 → 31/12/2013
Projekter: Projekt › Forskning
-
SAFT: Static Analysis with Finite Tree Automata
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2007 → 31/12/2010
Projekter: Projekt › Forskning
Aktiviteter
-
The 34th Symposium on Implementation and Application of Functional Languages (Begivenhed)
Morten Rhiger (Fagfællebedømmer)
31 aug. 2022 → 2 sep. 2022Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Nordic Workshop on Programming Theory (Begivenhed)
Morten Rhiger (Fagfællebedømmer)
2 nov. 2022 → 4 nov. 2022Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Workshop on Scheme and Functional Programming
Morten Rhiger (Arrangør)
9 sep. 2012Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
The 15th International Conference on Compiler Construction, 2006 (Ekstern organisation)
Morten Rhiger (Medlem)
8 apr. 2006 → 25 apr. 2006Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Censor, Ph. D. midtvejseksamen
Morten Rhiger (Eksaminator)
15 jun. 2006 → …Aktivitet: Eksamen › Eksamination