Publications

2001

Contribution to book anthology

Danvy, O., Rhiger, M. & Grobauer, B. (2001). A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer. https://doi.org/10.1007/3-540-44806-3_7

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. In Proceedings of the Third ACM SIGPLAN Workshop on Continuations

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. In roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (pp. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

Danvy, O., Damian, D. & Taha, W. (Ed.) (2001). Static Transition Compression. In Semantics, Applications, and Implementation of Program Generation (Vol. 2196 of Lecture Notes in Computer Science, pp. 92-107). Springer.

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

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2001). Static Validation of Dynamically Generated HTML. In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (pp. 38-45). Association for Computing Machinery. https://doi.org/10.1145/379605.379657

2001

Book anthology

Danvy, O. & Filinski, A. (Eds.) (2001). Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings. Springer. Lecture Notes in Computer Science Vol. 2053 https://doi.org/10.1007/3-540-44978-7

2001

Contribution to journal

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

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

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

Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. New Generation Computing, 20(1), 53-74. https://doi.org/10.1007/BF03037259

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. & Nielsen, L. R. (2001). Defunctionalization at Work. B R I C S Report Series, (RS-01-23).

Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 673-680. https://doi.org/10.1017/S0956796801004166

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. & Nielsen, L. R. (2001). Syntactic Theories in Practice. B R I C S Report Series, (RS-01-31).

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

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. (2001). CPS Transformation of Flow Information, Part II: Administrative Reductions. B R I C S Report Series, (RS-01-40).

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

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

2000

Contribution to book anthology

Danvy, O. & Hatcliff, J. (2000). Partial Evaluation. In A. Ralston, E. Reilly & D. Hemmendinger (Eds.), Encyclopedia of Computer Science (pp. 1370-1371). Macmillan Reference.

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). DSD: A Schema Language for XML. In Proceedings of the third workshop on Formal methods in software practice (pp. 101-111). Association for Computing Machinery. https://doi.org/10.1145/349360.351158

Elgaard, J., Møller, A. & Schwartzbach, M. I. (2000). Compile-Time Debugging of C Programs Working on Trees. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 119-134). Springer. https://doi.org/10.1007/3-540-46425-5_8

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_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.

2000

Contribution to journal

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). Document Structure Description 1.0. B R I C S Notes Series, (NS-00-7).

Danvy, O. & Nielsen, L. R. (2000). A Higher-Order Colon Translation. B R I C S Report Series, (RS-00-33).

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

Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. B R I C S Report Series, (RS-00-35).

Danvy, O. (2000). Functional unparsing. Journal of Functional Programming, 621-625.

Danvy, O. & Schultz, U. P. (2000). Lambda-dropping: transforming recursive equations into programs with block structure . Theoretical Computer Science, 248(1-2), 243-287. https://doi.org/10.1016/S0304-3975(00)00054-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).

Brabrand, C., Møller, A., Ricky, M. & Schwartzbach, M. I. (2000). PowerForms: Declarative Client-side Form Field Validation. World Wide Web (New York), 3(4), 205-214. https://doi.org/10.1023/A:1018772405468

1999

Contribution to book anthology

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. In A. Middeldorp & T. Sato (Eds.), Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings (pp. 241-250). Springer. https://doi.org/10.1007/10705424_16

Danvy, O. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. In S. D. Swierstra (Ed.), Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings (pp. 640). Springer. https://doi.org/10.1007/3-540-49099-X_15

Danvy, O. (1999). Type-Directed Partial Evaluation. In J. Hatcliff, T. Æ. Mogensen & P. Thiemann (Eds.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (pp. 367-411). Springer. https://doi.org/10.1007/3-540-47018-2_16

Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I. (1999). A Runtime System for Interactive Web Services. In Proceedings of the 8th International World Wide Web Conference Elsevier.

1999

Book anthology

Danvy, O. (Ed.) (1999). Proceedings of the 1999 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery.

1999

Contribution to journal

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. Electronic Notes in Theoretical Computer Science, 26, 21-33. https://doi.org/10.1016/S1571-0661(05)80281-6

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. B R I C S Report Series, (RS-99-21).

Danvy, O. (1999). Formalizing Implementation Strategies for First-Class Continuations. B R I C S Report Series, (RS-99-51).

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., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. B R I C S Report Series, (RS-99-23).

Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I. (1999). A Runtime System for Interactive Web Services. Computer Networks, 31(11-16), 1391-1401. https://doi.org/10.1016/S1389-1286(99)00025-0

1998

Contribution to book anthology

Elgaard, J., Klarlund, N. & Møller, A. (1998). MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.), Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer. https://doi.org/10.1007/BFb0028773

Danvy, O. (1998). A simple solution to type specialization. In K. G. Larsen, S. Skyum & G. Winskel (Eds.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (pp. 908-917). Springer. https://doi.org/10.1007/BFb0055112

Danvy, O. & Rose, K. H. (1998). Higher-order rewriting and partial evaluation. In T. Nipkow (Ed.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (pp. 286-301). Springer. https://doi.org/10.1007/BFb0052377

Danvy, O. (1998). Online Type-Directed Partial Evaluation. In Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (pp. 271-295)

Balat, V. & Danvy, O. (1998). Strong normalization by type-directed partial evaluation and run-time code generation. In X. Leroy & A. Ohori (Eds.), Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings (pp. 240-252). Springer. https://doi.org/10.1007/BFb0055521

Displaying results 351 to 400 out of 439

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

2001

Contribution to book anthology

2001

Book anthology

2001

Contribution to journal

2000

Contribution to book anthology

2000

Contribution to journal

1999

Contribution to book anthology

1999

Book anthology

1999

Contribution to journal

1998

Contribution to book anthology

Magnus Madsen

Andreas Pavlogiannis

Publications

2001

Contribution to book anthology

2001

Book anthology

2001

Contribution to journal

2000

Contribution to book anthology

2000

Contribution to journal

1999

Contribution to book anthology

1999

Book anthology

1999

Contribution to journal

1998

Contribution to book anthology

Faculty

Magnus Madsen

Andreas Pavlogiannis