Fritz Henglein

Fritz Henglein

Professor


  1. 2020
  2. Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  3. Published

    Module Theory and Query Processing: (Extended Abstract)

    Henglein, Fritz & Mathiesen, Mikkel Kragh, 2020. 3 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  4. 2018
  5. Published

    Blockchain deconstructed

    Henglein, Fritz, 2018. 2 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  6. Published
  7. Published

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-28 86.

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. 2017
  9. Published

    Automated execution of financial contracts on blockchains

    Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In : Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    PEG parsing in less space using progressive tabling and dynamic analysis

    Henglein, Fritz & Rasmussen, U. T., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 35-46 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  11. Published

    Automatic Incrementalization of Functional Reports

    Larsen, Ken Friis & Henglein, Fritz, 2017. 2 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  12. Published

    Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

    Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  13. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, In : Fundamenta Informaticae. 150, 3-4, p. 241-257 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

Previous 1 2 3 4 5 6 7 8 9 Next

ID: 7193