Aarhus Universitets logo
Find
English
For students
For PhDs
For employees
Local study portal
Computer Science
IT Product Development
Local PhD portal
Application Guide
Computer Science
Pages for all PhD students
phd.au.dk
Local staff information
Department of Computer Science
Pages for staff members at AU
medarbejdere.au.dk/en/
Institut for
Datalogi
Om Institut for Datalogi
Strategy
Organisation
Honorary doctor and professors
Ledige stillinger
Code of Conduct - adfærdskodeks
Forskningsområder
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction research group
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Security
Logic and Semantics
Programming Languages
Ubiquitous Computing and Interaction
Bioinformatics
Use, Design and Innovation
Modellering og Validering af Distribuerede Systemer
Centers
Publikationer
PhD Studies
Uddannelse
Studievalg
Bacheloruddannelser
Kandidatuddannelser
PhD
Efter- og Videreuddannelse
Studiemiljø
ALICE
CS Alumni
Mød vores kandidater
Dimission på Institut for Datalogi
ChomskyLab
Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
News & Events
Nyheder
Arrangementer
CS Colloquium
Camps og konkurrencer
Kontakt
Ledelse
Medarbejdere
Til pressen
Gymnasiesamarbejde
Du er her:
Institut for Datalogi
Forskningsområder
Programming Languages
Publications
Forskningsområder
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction research group
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Security
Logic and Semantics
Programming Languages
Projects
People
Publications
Ubiquitous Computing and Interaction
Bioinformatics
Use, Design and Innovation
Modellering og Validering af Distribuerede Systemer
Centers
Publikationer
PhD Studies
Publications
Sortér efter
:
Sortér efter
Forfatter
Dato
Titel
Type
Type og 1. forfatter
Årstal
Årstal og 1. forfatter
Årstal, type og 1. forfatter
Sortér i
Stigende orden
Faldende orden
Danvy, O.
, Glück, R. & Thiemann, P. (1998).
1998 Symposium on Partial Evaluation
.
A C M Computing Surveys
,
30
(3).
https://doi.org/10.1145/292469.293684
Biernacki, D.
, Danvy, O.
& Millikin, K. S. (2005).
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
.
B R I C S Report Series
, (RS-05-16), 1-26.
Ager, M. S.
, Danvy, O.
& Midtgaard, J. (2003).
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
.
B R I C S Report Series
, (RS-03-24).
Ager, M. S.
, Danvy, O.
& Midtgaard, J. (2004).
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
.
B R I C S Report Series
, (RS-04-3).
Ager, M. S.
, Danvy, O.
& Midtgaard, J. (2003).
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
.
B R I C S Report Series
, (RS-03-35).
Ager, M. S.
, Danvy, O.
& Midtgaard, J. (2004).
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
.
B R I C S Report Series
, (RS-04-28).
Danvy, O.
& Nielsen, L. R. (2000).
A Higher-Order Colon Translation
.
B R I C S Report Series
, (RS-00-33).
Danvy, O.
(2002).
A Lambda-Revelation of the SECD Machine
.
B R I C S Report Series
, (RS-02-53).
Brabrand, C., Giegerich, R.
& Møller, A.
(2006).
Analyzing Ambiguity of Context-Free Grammars
.
B R I C S Report Series
, (RS-06-09).
Danvy, O.
(2002).
A New One-Pass Transformation into Monadic Normal Form
.
B R I C S Report Series
, (RS-02-52).
Danvy, O.
(1998).
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
.
B R I C S Report Series
, (RS-98-2).
Danvy, O.
(1999).
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
.
B R I C S Report Series
, (RS-99-21).
Biernacka, M., Biernacki, D.
& Danvy, O.
(2003).
An Operational Foundation for Delimited Continuations
.
B R I C S Report Series
, (RS-03-41).
Biernacka, M., Biernacki, D.
& Danvy, O.
(2004).
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
.
B R I C S Report Series
, (RS-04-29).
Danvy, O.
& Yang, Z. (1998).
An Operational Investigation of the CPS Hierarchy
.
B R I C S Report Series
, (RS-98-35).
Danvy, O.
& Millikin, K. (2006).
A Rational Deconstruction of Landin's J Operator
.
B R I C S Report Series
, (RS-06-17).
http://www.brics.dk/RS/06/17/BRICS-RS-06-17.pdf
Danvy, O.
(2003).
A Rational Deconstruction of Landin's SECD Machine
.
B R I C S Report Series
, (RS-03-33).
Danvy, O.
& Millikin, K. (2007).
A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines
.
B R I C S Report Series
, (RS-07-8).
Damian, D.
& Danvy, O.
(2001).
A Simple CPS Transformation of Control-Flow Information
.
B R I C S Report Series
, (RS-01-55).
Biernacki, D.
& Danvy, O.
(2005).
A Simple Proof of a Folklore Theorem about Delimited Control
.
B R I C S Report Series
, (RS-05-25).
Danvy, O.
(1998).
A Simple Solution to Type Specialization
.
B R I C S Report Series
, (RS-98-1).
Danvy, O.
& Rhiger, M. (2000).
A Simple Take on Typed Abstract Syntax in Haskell-Like Languages
.
B R I C S Report Series
, (RS-00-34).
Kim, J., Yi, K.
& Danvy, O.
(1998).
Assessing the Overhead of ML Exceptions by Selective CPS Transformation
.
B R I C S Report Series
, (RS-98-15).
Ager, M. S.
, Danvy, O.
& Goldberg, M. (2002).
A Symmetric Approach to Compilation and Decompilation
.
B R I C S Report Series
, (RS-02-37).
Biernacka, M.
& Danvy, O.
(2005).
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
.
B R I C S Report Series
, (RS-05-38).
Danvy, O.
, Grobauer, B. & Rhiger, M. (2001).
A Unifying Approach to Goal-Directed Evaluation
.
B R I C S Report Series
, (RS-01-29).
Danvy, O.
& Lawall, J. (1996).
Back to Direct Style II: First-Class Continuations
.
B R I C S Report Series
, (RS-96-20).
Danvy, O.
& Rhiger, M. (1998).
Compiling Actions by Partial Evaluation, Revisited
.
B R I C S Report Series
, (RS-98-13).
Danvy, O.
& Nielsen, L. R. (2004).
CPS Transformation of Beta-Redexes
.
B R I C S Report Series
, (RS-04-39).
Danvy, O.
& Nielsen, L. R. (2000).
CPS Transformation of Beta-Redexes
.
B R I C S Report Series
, (RS-00-35).
Damian, D.
& Danvy, O.
(2003).
CPS Transformation of Flow Information, Part II: Administrative Reductions
.
Journal of Functional Programming
,
13
(5), 925-933.
https://doi.org/10.1017/S0956796803004702
Damian, D.
& Danvy, O.
(2002).
CPS Transformation of Flow Information, Part II: Administrative Reductions
.
B R I C S Report Series
, (RS-02-36).
Damian, D.
& Danvy, O.
(2001).
CPS Transformation of Flow Information, Part II: Administrative Reductions
.
B R I C S Report Series
, (RS-01-40).
Danvy, O.
& Nielsen, L. R. (2001).
Defunctionalization at Work.
B R I C S Report Series
, (RS-01-23).
Klarlund, N.
, Møller, A.
& Schwartzbach, M. I. (2000).
Document Structure Description 1.0
.
B R I C S Notes Series
, (NS-00-7).
Møller, A.
(2002).
Document Structure Description 2.0
.
B R I C S Notes Series
, (NS-02-7).
Danvy, O.
, Malmkjær, K. & Palsberg, J. (1995).
Eta-Expansion Does The Trick
.
B R I C S Report Series
, (RS-95-41).
Danvy, O.
, Malmkjær, K. & Palsberg, J. (1996).
Eta-Expansion Does The Trick
.
B R I C S Report Series
, (RS-96-17).
Ager, M. S.
, Danvy, O.
& Rohde, H. K. (2004).
Fast Partial Evaluation of Pattern Matching in Strings
.
B R I C S Report Series
, (RS-04-40).
Ager, M. S.
, Danvy, O.
& Rohde, H. K. (2003).
Fast Partial Evaluation of Pattern Matching in Strings.
B R I C S Report Series
, (RS-03-11).
Ager, M. S.
, Danvy, O.
& Rohde, H. K. (2003).
Fast Partial Evaluation of Pattern Matching in Strings.
B R I C S Report Series
, (RS-03-20).
Danvy, O.
(1999).
Formalizing Implementation Strategies for First-Class Continuations
.
B R I C S Report Series
, (RS-99-51).
Danvy, O.
(1998).
Formatting Strings in ML
.
B R I C S Report Series
, (RS-98-5).
Ager, M. S., Biernacki, D.
, Danvy, O.
& Midtgaard, J. (2003).
From Interpreter to Compiler and Virtual Machine: A Functional Derivation
.
B R I C S Report Series
, (RS-03-14).
Biernacki, D.
& Danvy, O.
(2003).
From Interpreter to Logic Engine by Defunctionalization
.
B R I C S Report Series
, (RS-03-25).
Biernacki, D.
& Danvy, O.
(2004).
From Interpreter to Logic Engine by Defunctionalization
.
B R I C S Report Series
, (RS-04-5).
Danvy, O.
(2004).
From Reduction-Based to Reduction-Free Normalization
.
B R I C S Report Series
, (RS-04-30).
Ager, M. S., Biernacki, D.
, Danvy, O.
& Midtgaard, J. (2003).
Functional Correspondence between Evaluators and Abstract Machines
.
B R I C S Report Series
, (RS-03-13).
Danvy, O.
(1998).
Functional Unparsing
.
B R I C S Report Series
, (RS-98-12).
Danvy, O.
& Rose, K. H. (1997).
Higher-Order Rewriting and Partial Evaluation
.
B R I C S Report Series
, (RS-97-46).
Viser resultater
1 til 50
ud af
453
1
2
3
4
5
6
7
8
9
10
Næste
Faculty
Magnus
Madsen
Lektor
M
magnusm@cs.au.dk
Andreas
Pavlogiannis
Lektor
M
pavlogiannis@cs.au.dk
Revideret 17.04.2023
-
Sofia Hedegaard Rasmussen