Aarhus University logo
Find
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/
Department of
Computer Science
About Us
Strategy
Anniversary
Organisation
Honorary doctor and professors
Vacancies
Code of Conduct
Research
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction
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
Modelling and Validation of Distributed Systems
Centers
Publications
PhD Studies
Education
Studievalg
Bachelor
Master
PhD
Continuing education
Study environment
ALICE
CS Alumni
Mød vores kandidater
Graduation at Department of Computer Science
ChomskyLab
Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
News & Events
News
Events
CS Colloquium
Camps and Competitions
Contact
Management and Heads of Research
Researchers
All employees
For the press
Gymnasiesamarbejde
Department of Computer Science
Research
Programming Languages
Publications
Research
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction
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
Modelling and Validation of Distributed Systems
Centers
Publications
PhD Studies
Publications
Sort by
: Author
Sort by
Author
Date
Title
Type
Type and 1st author
Year
Year and 1st author
Year, type and 1st author
Sort in
Ascending order
Descending order
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).
Danvy, O.
& Yang, Z. (1998).
An Operational Investigation of the CPS Hierarchy
.
B R I C S Report Series
, (RS-98-35).
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.
& Nielsen, L. R. (2000).
CPS Transformation of Beta-Redexes
.
B R I C S Report Series
, (RS-00-35).
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. (2001).
Defunctionalization at Work.
B R I C S Report Series
, (RS-01-23).
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).
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).
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).
Danvy, O.
& Schultz, U. P.
(1997).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-97-6).
Danvy, O.
& Schultz, U. P.
(1998).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-98-54).
Danvy, O.
& Schultz, U. P.
(1999).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-99-27).
Danvy, O.
& Schultz, U. P.
(2002).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-02-30).
Danvy, O.
& Schultz, U. P.
(2003).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-03-26).
Danvy, O.
& Schultz, U. P.
(2004).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-04-12).
Danvy, O.
, Dzafic, B. & Pfenning, F. (1999).
On proving syntactic properties of CPS programs
.
B R I C S Report Series
, (RS-99-23).
Danvy, O.
& Malmkjær, K. (1996).
On the Idempotence of the CPS Transformation
.
B R I C S Report Series
, (RS-96-14).
Danvy, O.
(1997).
Online Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-97-53).
Danvy, O.
& Goldberg, M. (1997).
Partial Evaluation of the Euclidian Algorithm
.
B R I C S Report Series
, (RS-97-1).
Danvy, O.
(1996).
Pragmatic Aspects of Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-96-15).
Danvy, O.
& Vestergaard, R. (1996).
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-96-13).
Danvy, O.
& Lopez, P. E. M. (2003).
Tagging, Encoding, and Jones Optimality
.
B R I C S Report Series
, (RS-03-2).
Danvy, O.
& Goldberg, M. (2002).
There and Back Again
.
B R I C S Report Series
, (RS-02-12).
Danvy, O.
(1998).
Type-Directed Partial Evaluation
.
BRICS Lecture Series
, (LS-98-3).
Danvy, O.
& Midtgaard, J.
(2011).
Abstracting abstract machines: technical perspective
.
Association for Computing Machinery. Communications
,
54
(9), 100-100.
https://doi.org/10.1145/1995376.1995399
Danvy, O.
(2011).
Pragmatics for formal semantics
. In
Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering
(pp. 93-94). Association for Computing Machinery.
https://doi.org/10.1145/2047862.2047878
Danvy, O.
& Shan, C. (Eds.) (2011).
Proceedings IFIP Working Conference on Domain-Specific Languages
.
https://doi.org/10.4204/EPTCS.66
Danvy, O.
& Zerny, I.
(2013).
Three Syntactic Theories for Combinatory Graph Reduction
.
A C M Transactions on Computational Logic
,
14
(4), Article 29.
https://doi.org/10.1145/2528932
Danvy, O.
, Millikin, K., Munk, J.
& Zerny, I.
(2012).
On Inter-deriving Small-step and Big-step Semantics: A Case Study for Storeless Call-by-need Evaluation
.
Theoretical Computer Science
,
435
, 21–42.
https://doi.org/10.1016/j.tcs.2012.02.023
Danvy, O.
& Johannsen, J.
(2014).
From Outermost Reduction Semantics to Abstract Machine
. In G. Gupta & R. Ricardo Peña (Eds.),
23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers
(pp. 91-98). Springer VS.
https://doi.org/10.1007/978-3-319-14125-1
Danvy, O.
, Thiemann, P.
& Zerny, I.
(2013).
Circularity and Lambda Abstraction
. In
Proceedings, The 25th symposium on Implementation and Application of Functional Languages.
ScienceGate.
http://www.sciencegate.ch/home?p_p_id=new_search_portlet_WAR_PSW_3_SciencegatePortlets&p_p_lifecycle=1&p_p_state=normal&p_p_mode=view&p_p_col_id=column-3&p_p_col_pos=1&p_p_col_count=4&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_action=search&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_field=dc.source&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_mode=mode.exact&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_sort=&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_query=The+25th+symposium+on+Implementation+and+Application+of+Functional+Languages.
Danvy, O. (Ed.)
(2015).
2015 Workshop on Continuations: pre-proceedings
. Department of Computer Science, University of Aarhus.
https://doi.org/10.7146/aul.4.4
Danvy, O.
& Johannsen, J.
(2015).
From Outermost Reduction Semantics to Abstract Machine
. Department of Computer Science, University of Aarhus.
https://doi.org/10.7146/aul.3.2
Daniel, D.
& Danvy, O.
(2000).
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
.
B R I C S Report Series
, (RS-00-15).
Damian, D.
& Danvy, O.
(2001).
A Simple CPS Transformation of Control-Flow Information
.
B R I C S Report Series
, (RS-01-55).
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).
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
.
B R I C S Report Series
, (RS-01-54).
Damian, D.
& Danvy, O.
(2002).
A Simple CPS Transformation of Control-Flow Information
.
Logic Journal of the IGPL
,
10
(5), 501-515.
https://doi.org/10.1093/jigpal/10.5.501
Damian, D.
& Danvy, O.
(2003).
Syntactic accidents in program analysis: on the impact of the CPS transformation
.
Journal of Functional Programming
,
13
(5), 867-904.
https://doi.org/10.1017/S0956796802004379
Damian, D.
& Danvy, O.
(2001).
Static Transition Compression
. In W. Taha (Ed.),
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings
(pp. 92-107). Springer.
https://doi.org/10.1007/3-540-44806-3_6
Damian, D.
& Danvy, O.
(2000).
Syntactic accidents in program analysis: on the impact of the CPS transformation
. In
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming
(pp. 209-220). Association for Computing Machinery.
Damian, D.
& Danvy, O.
(2001).
CPS Transformation of Flow Information, Part II: Administrative Reductions
.
B R I C S Report Series
, (RS-01-40).
Clausen, C.
, Danvy, O.
& Masuko, M. (2014).
A Characterization of Moessner's Sieve
.
Theoretical Computer Science
,
546
(August), 244–256.
https://doi.org/10.1016/j.tcs.2014.03.012
Christensen, A. S.
& Møller, A.
(2002).
JWIG User Manual
.
B R I C S Notes Series
, (NS-02-6).
Christensen, A. S.
, Møller, A.
& Schwartzbach, M. I.
(2003).
Extending Java for High-Level Web Service Construction
.
A C M Transactions on Programming Languages and Systems
,
25
(6), 814-875.
https://doi.org/10.1145/945885.945890
Displaying results
301 to 350
out of
451
Previous
1
2
3
4
5
6
7
8
9
10
Next
Faculty
Magnus
Madsen
Associate Professor
M
magnusm@cs.au.dk
Andreas
Pavlogiannis
Associate Professor
M
pavlogiannis@cs.au.dk
Revised 17.04.2023
-
Sofia Hedegaard Rasmussen