Find

For students
For PhDs
For employees

Department of Computer Science

Publications

Christensen, A. S. & Møller, A. (2002). JWIG User Manual. B R I C S Notes Series, (NS-02-6).

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).

Balat, V. & Danvy, O. (2002). Memoization in Type-Directed Partial Evaluation. B R I C S Report Series, (RS-02-33).

Klarlund, N. & Møller, A. (2001). MONA Version 1.4 User Manual. B R I C S Notes Series, (NS-01-1).

Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by Evaluation with Typed Abstract Syntax. B R I C S Report Series, (RS-01-16).

Danvy, O. (1997). Online Type-Directed Partial Evaluation. B R I C S Report Series, (RS-97-53).

Ager, M. S., Danvy, O. & Rohde, H. K. (2002). On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation. B R I C S Report Series, (RS-02-32).

Danvy, O. & Nielsen, L. R. (2002). On One-Pass CPS Transformations. B R I C S Report Series, (RS-02-3).

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. & Millikin, K. (2007). On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion. B R I C S Report Series, (RS-07-16), i-11.

Danvy, O. & Malmkjær, K. (1996). On the Idempotence of the CPS Transformation. B R I C S Report Series, (RS-96-14).

Biernacki, D. & Danvy, O. (2005). On the Static and Dynamic Extent of Delimited Continuations. B R I C S Report Series, (RS-05-36).

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).

Biernacka, M., Danvy, O. & Støvring, K. (2005). Program Extraction from Proofs of Weak Head Normalization. B R I C S Report Series, (RS-05-12).

Danvy, O. & Nielsen, L. R. (2004). Refocusing in Reduction Semantics. B R I C S Report Series, (RS-04-26).

Danvy, O. & Millikin, K. (2007). Refunctionalization at Work. B R I C S Report Series, (RS-07-7).

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).

Møller, A. (2006). Static Analysis for Event-Based XML Processing. B R I C S Report Series, (RS-06-16).

Balat, V. & Danvy, O. (1997). Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. B R I C S Report Series, (RS-97-43).

Danvy, O. (2004). Sur un Exemple de Patrick Greussay. B R I C S Report Series, (RS-04-41).

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).

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).

Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. B R I C S Report Series, (RS-01-31).

Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. B R I C S Report Series, (RS-02-4).

Danvy, O. & Lopez, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. B R I C S Report Series, (RS-03-2).

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2001). The Abstraction and Instantiation of String-Matching Programs. B R I C S Report Series, (RS-01-12).

Danvy, O. & Goldberg, M. (2001). There and Back Again. B R I C S Report Series, (RS-01-39).

Danvy, O. & Goldberg, M. (2002). There and Back Again. B R I C S Report Series, (RS-02-12).

Møller, A. & Schwartzbach, M. I. (2001). The XML Revolution. B R I C S Notes Series, (NS-01-8).

Hatcliff, J. & Danvy, O. (1996). Thunks and the λ-calculus. B R I C S Report Series, (RS-96-19).

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. B R I C S Report Series, (RS-97-7).

Danvy, O. (1998). Type-Directed Partial Evaluation. BRICS Lecture Series, (LS-98-3).

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

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

Hatcliff, J. & Danvy, O. (1996). A computational formalization for partial evaluation. B R I C S Report Series, RS-96-34.

Biernacka, M. & Danvy, O. (2007). A Concrete Framework for Environment Machines. A C M Transactions on Computational Logic, 9(1), 1-30.

Wallentin, M., Simonsen, A. & Nielsen, A. H. (2013). Action speaks louder than words: Empathy mainly modulates emotions from theory of mind-laden parts of a story. Scientific Study of Literature, 3(1), 137-153.

Vibholm, A. K., Dietz, M. J., Beniczky, S., Christensen, J., Højlund, A., Jacobsen, J., Bender, D., Møller, A. & Brooks, D. J. (2021). Activated N-methyl-D-aspartate receptor ion channels detected in focal epilepsy with [¹⁸F]GE-179 positron emission tomography. Epilepsia, 62(12), 2899-2908. https://doi.org/10.1111/epi.17074

Biernacki, D., Danvy, O. & Millikin, K. (2015). A dynamic continuation-passing style for dynamic delimited continuations. A C M Transactions on Programming Languages and Systems, 38(1), Article 2. https://doi.org/10.1145/2794078

Danvy, O. & Nielsen, L. R. (2003). A First-Order One-Pass CPS Transformation. Theoretical Computer Science, 308(1), 239-257.

Danvy, O. & Nielsen, L. R. (2001). A First-Order One-Pass CPS Transformation. B R I C S Report Series, RS-01-49.

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. Information Processing Letters, 90(5), 223-232. https://doi.org/10.1016/j.ipl.2004.02.012

Ager, M. S., Danvy, O. & Midtgaard, J. (2005). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. Theoretical Computer Science, 342(1), 149-172.

Displaying results 51 to 100 out of 444

2

Revised 17.04.2023

-

Sofia Hedegaard Rasmussen