Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Domain-specifikke sprog
- Funktionel programmering
- Global computing
- Kompilere og fortolkere
- Modeller og logik for interaktive systemer
- Moderne logik
- Objekt-orienterede programmeringssprog
- Objekt-orienteret programmering
- Partial-evaluering og normalisering
- Programanalyse og -transformationer
- Programmeringssprog og formelle modeller
- Semantik af programmeringssprog
- Softwareudviklingsværktøjer
- Teknologi med læringspotentiale
- Type-systemer
- Undervisning i programmering og softwareudvikling
- Videnskabsteori
- Virtuelle/abstrakte maskiner
- Værktøjer baseret på partiel evaluering
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Olivier Danvy er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
2015 Workshop on Continuations: pre-proceedings
Danvy, O. (Redaktør), 2015, Department of Computer Science, University of Aarhus. 115 s.Publikation: Bog/antologi/rapport › Antologi › Forskning › peer review
-
A dynamic continuation-passing style for dynamic delimited continuations
Biernacki, D., Danvy, O. & Millikin, K., 2015, I: A C M Transactions on Programming Languages and Systems. 38, 1, 2.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
8 Citationer (Scopus) -
From Outermost Reduction Semantics to Abstract Machine
Danvy, O. & Johannsen, J., 2015, Department of Computer Science, University of Aarhus. 23 s.Publikation: Bog/antologi/rapport › Rapport › Forskning
-
A Characterization of Moessner's Sieve
Clausen, C., Danvy, O. & Masuko, M., 2014, I: Theoretical Computer Science. 546, August, s. 244–256 11 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
From Outermost Reduction Semantics to Abstract Machine
Danvy, O. & Johannsen, J., 2014, 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers. Gupta , G. & Ricardo Peña, R. (red.). Springer VS, s. 91-98 8 s. (Lecture Notes in Computer Science, Bind 8901).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Aktiviteter
-
ACM SIGPLAN
Danvy, O. (Medlem)
15 dec. 2009 → 15 jun. 2010Aktivitet: Præsentationer, medlemskaber, ansættelser, ejerskab og andre aktiviteter › Medlem af udvalg, råd og nævn
-
Natural Sciences and Engineering Research Council of Canada
Danvy, O. (Medlem)
28 okt. 2009 → 27 jan. 2010Aktivitet: Præsentationer, medlemskaber, ansættelser, ejerskab og andre aktiviteter › Medlem af udvalg, råd og nævn
-
Symposium for Mogens Nielsen's 60th birthday : an Aarhus celebration
Danvy, O. (Arrangør)
3 okt. 2009 → 4 okt. 2009Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
-
Presentational tips and tricks in computer science: talks, articles and peer reviews
Danvy, O. (Foredragsholder)
28 sep. 2009Aktivitet: Præsentationer, medlemskaber, ansættelser, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag
-
Theory and Practice of Language Implementation
Danvy, O. (Foredragsholder)
24 aug. 2009Aktivitet: Præsentationer, medlemskaber, ansættelser, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag