Research output per year
Research output per year
Personal profile
Keywords
- Domain-specific language
- Functional programming
- Global computing
- Compilers and interpreters
- Models and logic for interactive systems
- Modern logic
- Object-oriented programming lauguage
- Object-oriented programming
- Partial evaluation and normalisation
- Program analysis and transformations
- Programming languages and formal models
- Semantics of programming language
- Software development tools
- Technology with learning potential
- Type systems
- Teaching in programming and software development
- Philosophy of science
- Vitual/abstract machines
- Tools based on partial evaluation
Fingerprint
Dive into the research topics where Olivier Danvy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
2015 Workshop on Continuations: pre-proceedings
Danvy, O. (Editor), 2015, Department of Computer Science, University of Aarhus. 115 p.Research output: Book/anthology/report › Anthology › Research › peer-review
-
A dynamic continuation-passing style for dynamic delimited continuations
Biernacki, D., Danvy, O. & Millikin, K., 2015, In: A C M Transactions on Programming Languages and Systems. 38, 1, 2.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
8 Citations (Scopus) -
From Outermost Reduction Semantics to Abstract Machine
Danvy, O. & Johannsen, J., 2015, Department of Computer Science, University of Aarhus. 23 p.Research output: Book/anthology/report › Report › Research
-
A Characterization of Moessner's Sieve
Clausen, C., Danvy, O. & Masuko, M., 2014, In: Theoretical Computer Science. 546, August, p. 244–256 11 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
2 Citations (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. (eds.). Springer VS, p. 91-98 8 p. (Lecture Notes in Computer Science, Vol. 8901).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Activities
-
ACM SIGPLAN
Danvy, O. (Member)
15 Dec 2009 → 15 Jun 2010Activity: Presentations, memberships, employment, ownership and other activities › Member of committee, council or board
-
Natural Sciences and Engineering Research Council of Canada
Danvy, O. (Member)
28 Oct 2009 → 27 Jan 2010Activity: Presentations, memberships, employment, ownership and other activities › Member of committee, council or board
-
Symposium for Mogens Nielsen's 60th birthday : an Aarhus celebration
Danvy, O. (Organizer)
3 Oct 2009 → 4 Oct 2009Activity: Participating in or organising an event types › Participation in or organisation af a conference
-
Presentational tips and tricks in computer science: talks, articles and peer reviews
Danvy, O. (Lecturer)
28 Sept 2009Activity: Presentations, memberships, employment, ownership and other activities › Lecture and oral contribution
-
Theory and Practice of Language Implementation
Danvy, O. (Lecturer)
24 Aug 2009Activity: Presentations, memberships, employment, ownership and other activities › Lecture and oral contribution