Programming Languages and Theory of Computing

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

    Computing with Infinite Terms and Infinite Reductions

    Ketema, J. & Simonsen, Jakob Grue, 2019, In: Fundamenta Informaticae. 170, 4, p. 339-365 27 p.

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

  2. Published

    Semi-inversion of conditional constructor term rewriting systems

    Kirkeby, M. H. & Glück, Robert, 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, p. 243-259 (Lecture Notes in Computer Science, Vol. 12042).

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

  3. Published

    On the Complexity of Conversion Between Classic Real Number Representations

    Kristiansen, L. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (eds.). Springer VS, p. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12098 LNCS).

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

  4. Published

    Kunsten at vejlede et konstruktionsprojekt

    Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .

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

  5. Published

    A MuDDy Experience-ML Bindings to a BDD Library

    Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).

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

  6. Published

    Database Kernels: Seamless Integration of Database Systems and Fast Storage via CXL.

    Lee, S., Lerner, A., Bonnet, Philippe & Cudré-Mauroux, P., 2024, CIDR.

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

  7. Published

    Using a high-level parallel programming language for GPU-accelerated tomographic reconstruction

    Lindhøj, M. B., Henriksen, Troels, Pedersen, L. & Sporring, Jon, 15 Jul 2019, The 2019 International Conference on High Performance Computing & Simulation: HPCS 2019. IEEE, p. 27-32 6 p. 3

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

  8. Published

    Building blocks of sharding blockchain systems: Concepts, approaches, and open problems

    Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., Nov 2022, In: Computer Science Review. 46, 44 p., 100513.

    Research output: Contribution to journal › Review › Research › peer-review

  9. Published

    Towards a streaming model for nested data parallelism

    Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.

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

  10. Published

    Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

    Madsen, M., van de Pol, J. & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 240.

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

  11. Published

    Principled Multi-Aspect Evaluation Measures of Rankings

    Maistro, Maria, Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, Inc, p. 1232-1242

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

  12. Published

    The fixed point property and a technique to harness double fixed point combinators

    Manzonetto, G., Polonsky, A., Saurin, A. & Simonsen, Jakob Grue, 2019, In: Journal of Logic and Computation. 29, 5, p. 831-880

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

  13. Published

    Delivering Rules-Based Workflows for Science

    Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).

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

  14. Published

    Events as a Basis for Workflow Scheduling

    Marchant, David Gray, 2022, Proceedings of WORKS 2022: 17th Workshop on Workflows in Support of Large-Scale Science, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, p. 52-59 8 p.

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

  15. Published

    MEOW: Enabling Dynamic Scheduling of Scientific Analysis

    Marchant, David Gray, 2023, Niels Bohr Institute, Faculty of Science, University of Copenhagen. 271 p.

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

  16. Published

    Mixture Models for Spherical Data with Applications to Protein Bioinformatics

    Mardia, K. V., Barber, S., Burdett, P. M., Kent, J. T. & Hamelryck, Thomas Wim, 2022, Directional Statistics for Innovative Applications: A Bicentennial Tribute to Florence Nightingale. Springer, p. 15-32 (Forum for Interdisciplinary Mathematics).

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

  17. Published

    The Programming of Algebra

    Mathiesen, Mikkel Kragh, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 119 p.

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

  18. Published

    Software and reversible systems: A survey of recent activities

    Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

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

  19. Published

    Designing with Awareness: Building an Agenda for Worker and Patient Well-being

    Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded Technologies

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

  20. Published

    Fast Control for Reversible Processors

    Mogensen, Torben Ægidius, 2022, Reversible Computation: 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings. Mezzina, CA. & Podlaski, K. (eds.). Springer, p. 51-64 (Lecture Notes in Computer Science, Vol. 13354).

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

  21. Published

    Partial evaluation Concepts and Applications

    Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  22. Published

    Programming (Computers)

    Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-8

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

  23. Published

    Semi-Inversion of Functional Parameters

    Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 21-29 9 p.

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

  24. Published

    Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

    Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

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

  25. Published

    Hermes: A Language for Light-Weight Encryption

    Mogensen, Torben Ægidius, 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Lanese, I. & Rawski, M. (eds.). Springer, p. 93-110 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).

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

  26. Published

    An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

    Mogensen, Torben Ægidius, 2001, publisher. Springer, p. 205-213

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

  27. Published

    Roll: A Language for Specifying Die-Rolls

    Mogensen, Torben Ægidius, 2002, publisher. Springer, p. 15

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

  28. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.

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

  29. Published

    Reversible in-place carry-lookahead addition with few ancillae

    Mogensen, Torben Ægidius, 2019, Reversible Computation: 11th International Conference, RC 2019, Proceedings. Thomsen, M. K. & Soeken, M. (eds.). Springer, p. 224-237 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11497 LNCS).

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

  30. Published

    Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

    Mogensen, Torben Ægidius, Jan 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer VS, p. 243-251 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).

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

  31. Published

    Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

    Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 p.

    Research output: Book/Report › Book › Research

  32. Published

    Linear Types for Cashflow Reengineering

    Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  33. Published

    Reversible Functional Array Programming

    Mogensen, Torben Ægidius, 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (eds.). Springer, p. 45-63 19 p. (Lecture Notes in Computer Science, Vol. 12805 ).

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

  34. Published

    Troll, a Language for specifying Dice-rolls

    Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, p. 1910-1915 6 p.

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

  35. Published

    Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44

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

  36. Published

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

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

  37. Published

    Hermes: A reversible language for lightweight encryption

    Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.

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

  38. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

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

  39. Published

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

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

  40. Published

    Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

    Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

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

  41. Published

    Semi-Inversion of Guarded Equations

    Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  42. Published

    Basics of Compiler Design, Kursusbog 5 Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.

    Research output: Book/Report › Book › Education

  43. Published

    Software

    Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-5

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

  44. Published

    Programming Language Design and Implementation

    Mogensen, Torben Ægidius, 2022, Springer. 321 p. (Texts in Computer Science).

    Research output: Book/Report › Book › Research › peer-review

  45. Published

    Basics of Compiler Design

    Mogensen, Torben Ægidius, 2008, Extended ed. Lulu.com. 277 p.

    Research output: Book/Report › Book › Education

  46. Published

    Basics of Compiler Design, Kususbog 6 til Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.

    Research output: Book/Report › Book › Education

  47. Published

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

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

  48. Published

    Garbage-Free Reversible Multiplication and Division

    Mogensen, Torben Ægidius, 22 Aug 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 253-268 (Lecture Notes in Computer Science, Vol. 11106).

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

  49. Published

    Normalization for a Subset of Scheme using Type Predicates (Summary)

    Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, p. 35-36

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  50. Published

    Inherited Limits

    Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Previous 1 2 3 4 5 6 Next