Programming Languages and Theory of Computing

Read more
251 - 257 out of 257Page size: 50
Sort by: 1st author
  1. Published

    A reversible programming language and its invertible self-interpreter

    Yokoyama, T. & Glück, Robert, 2007, PEPM 2007: Proceedings of the Workshop on Partial Evaluation and Program Manipulation, Nice, France, January 15-16, 2007. Association for Computing Machinery, p. 144-153

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    Reversible flowchart languages and the structured reversible program theorem

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Automata, Languages and Programming: 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings. Part II. Aceto, L., Damgaard, I., Goldberg, L. A., Halldorsson, M. M., Ingolfsdottir, A. & Walukiewicz, I. (eds.). Springer, p. 258-270 (Lecture notes in computer science; No. 5126).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Principles of a reversible programming language

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Conference on Computing Frontiers, CF 2008: Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy May 5-7, 2008. Association for Computing Machinery, p. 43-54

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4. Published

    Towards a reversible functional language

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 14-29 16 p. (Lecture notes in computer science, Vol. 7165).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Published

    Complex-valued Neural Network-based Quantum Language Models

    Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Information Systems. 40, 4, 31 p., 84.

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    Decentralized Finance: Building and Analyzing Financial Infrastructure on Blockchain Technology

    von Wachter, Carl Victor, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 223 p.

    Research output: Book/Report › Ph.D. thesis › Research

  7. Published

    Measuring Asset Composability as a Proxy for DeFi Integration

    von Wachter, Carl Victor, Jensen, J. R. & Ross, Omry, 2021, Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Revised Selected Papers. Bernhard, M., Bracciali, A., Gudgeon, L., Haines, T., Klages-Mundt, A., Matsuo, S., Perez, D., Sala, M. & Werner, S. (eds.). Springer, p. 109-114 6 p. (Lecture Notes in Computer Science, Vol. 12676).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 12 3 4 5 6 Next