Fritz Henglein

Fritz Henglein

Professor

Introductory remarks on publicationslist

The publications registered in CURIS (this system) and PUF (previous publication registration system at U. Copenhagen) are unfortunately incomplete and partially incorrect (particularly for PUF-registered publications). Since the registered information is practically very difficult to change at this point, for full information, including access to PDF-version of the papers, please see my home page: https://www.diku.dk/~henglein.

 


  1. Published

    2016 POPL impressions

    Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.

    Research output: Contribution to journalComment/debate

  2. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

    Research output: Contribution to journalJournal articlepeer-review

  3. Published

    A Decidable Case of the Semi-Unification Problem

    Henglein, Fritz & Leiss, H., 1991, Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin: Springer, p. 318-327

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

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

  5. Published

    A Semantic Model of Binding Times for Safe Partial Evaluation

    Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  6. Published

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, p. 175-186

    Research output: Chapter in Book/Report/Conference proceedingReport chapterCommunication

  7. Published

    A standard-driven implementaion of WS-BPEL 2.0

    Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.

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

  8. Published

    Algeo: An Algebraic Approach to Reversibility

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).

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

  9. Published

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  10. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, In: European Research Consortium for Informatics and Mathematics. Vol. 36, p. 12-13

    Research output: Contribution to journalJournal article

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 7193