Publications

2003

Book anthology

Danvy, O., Henglein, F. (Ed.), Mairson, H. (Ed.) & Pettorossi, A. (Ed.) (2003). Special issue of Higher-Order and Symbolic Computation: - in memory of Bob Paige. Springer.

Danvy, O., Wei-Ngan, C. & Thiemann, P. (Eds.) (2003). Special issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. Springer.

2003

Contribution to journal

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

Danvy, O. (2003). A Rational Deconstruction of Landin's SECD Machine. B R I C S Report Series, (RS-03-33).

Danvy, O. & Schultz, U. P. (2003). Lambda-Lifting in Quadratic Time. B R I C S Report Series, (RS-03-26).

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

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

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

Biernacki, D. & Danvy, O. (2003). From Interpreter to Logic Engine by Defunctionalization. B R I C S Report Series, (RS-03-25).

Biernacka, M., Biernacki, D. & Danvy, O. (2003). An Operational Foundation for Delimited Continuations. B R I C S Report Series, (RS-03-41).

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

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

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

2002

Working Paper

Møller, A. & Schwartzbach, M. I. (2002). Interactive Web Services with Java. (pp. 1-100). Department of Computer Science, Aarhus University. http://www.brics.dk/NS/02/1/BRICS-NS-02-1.pdf

2002

Contribution to book anthology

Danvy, O. & Nielsen, L. R. (2002). A First-Order One-Pass CPS Transformation. In M. Nielsen & U. Engberg (Eds.), Foundations of Software Science and Computer Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (pp. 367-393). Springer. https://doi.org/10.1007/3-540-45931-6_8

Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. In Z. Hu & M. Rodríguez-Artalejo (Eds.), Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings (pp. 134-151). Springer. https://doi.org/10.1007/3-540-45788-7_8

Danvy, O. & Goldberg, M. (2002). There and Back Again. In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (pp. 230-234). Association for Computing Machinery. https://doi.org/10.1145/581478.581500

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2002). Static Analysis for Dynamic XML. In E-Proceeding of PLAN-X 2002 http://homepages.inf.ed.ac.uk/wadler/planx/planx-eproceed/papers/E00-1868950904.pdf

Balat, V. & Danvy, O. (2002). Memorization in Type-Directed Partial Evaluation. In D. Batory, C. Consel & W. Taha (Eds.), Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings (pp. 78-92). Springer. https://doi.org/10.1007/3-540-45821-2_5

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2002). The Abstraction and Instantiation of String-Matching Programs. In T. Mogensen, D. Schmidt & H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation (pp. 332-357). Springer. https://doi.org/10.1007/3-540-36377-7_15

Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. In T. Æ. Mogensen, D. Schmidt & H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation (pp. 296-331). Springer. https://doi.org/10.1007/3-540-36377-7_14

Ager, M. S., Danvy, O. & Rohde, H. K. (2002). On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In K. Asai (Ed.), ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (pp. 32-46). Association for Computing Machinery. https://doi.org/10.1145/568173.568177

2002

Book anthology

Møller, A. (2002). Program Verification with Monadic Second-Order Logic & Languages for Web Service Development. Datalogisk Institut, Aarhus Universitet. BRICS Dissertation Series Vol. DS-02-4

Danvy, O. & Sabry, A. (2002). Special issue of Higher-Order and Symbolic Computation: Special Issue on the third ACM SIGPLAN Workshop on Continuations (CW 2001). Springer.

2002

Contribution to journal

Møller, A. (2002). Document Structure Description 2.0. B R I C S Notes Series, (NS-02-7).

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). MONA Implementation Secrets. International Journal of Foundations of Computer Science, 13(4), 571-586. https://doi.org/10.1142/S012905410200128X

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). The DSD Schema Language. Automated Software Engineering, 9(3), 285-319. https://doi.org/10.1023/A:1016376608070

Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. B R I C S Report Series, (RS-02-53).

Danvy, O. (2002). A New One-Pass Transformation into Monadic Normal Form. B R I C S Report Series, (RS-02-52).

Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. B R I C S Report Series, (RS-02-30).

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

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

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

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

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

Brabrand, C., Møller, A., Olesen, S. & Schwartzbach, M. I. (2002). Language-Based Caching of Dynamically Generated HTML. World Wide Web (New York), 5(4), 305-323. https://doi.org/10.1023/A:1021020226173

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2002). The <bigwig> Project. A C M Transactions on Internet Technology, 2(2), 79-114. https://doi.org/10.1145/514183.514184

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

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

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

2001

Contribution to book anthology

Schultz, U. P., Danvy, O. (Ed.) & Filinski, A. (Ed.) (2001). Partial Evaluation for Class-Based Object-Oriented Languages. In Lecture Notes In Computer Science: Proceedings of the Second Symposium on Programs as Data Objects (Lecture Notes in Computer Science 2053 ed., Vol. 2053, pp. 173-197). Springer.

Møller, A. & Schwartzbach, M. I. (2001). The Pointer Assertion Logic Engine. In M. L. Sofia (Ed.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. 36(5), pp. 221-231). Association for Computing Machinery. https://doi.org/10.1145/381694.378851

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2001). MONA Implementation Secrets. In S. Yu & A. Paun (Eds.), Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer. https://doi.org/10.1007/3-540-44674-5_4

Danvy, O. & Nielsen, L. R. (2001). A Higher-Order Colon Translation. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 78-91). Springer. https://doi.org/10.1007/3-540-44716-4_5

Danvy, O. & Rhiger, M. (2001). A Simple Take on Typed Abstract Syntax in Haskell-like Languages. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 343-358). Springer. https://doi.org/10.1007/3-540-44716-4_22

Displaying results 301 to 350 out of 439

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

2003

Book anthology

2003

Contribution to journal

2002

Working Paper

2002

Contribution to book anthology

2002

Book anthology

2002

Contribution to journal

2001

Contribution to book anthology

Magnus Madsen

Andreas Pavlogiannis

Publications

2003

Book anthology

2003

Contribution to journal

2002

Working Paper

2002

Contribution to book anthology

2002

Book anthology

2002

Contribution to journal

2001

Contribution to book anthology

Faculty

Magnus Madsen

Andreas Pavlogiannis