Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
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.
- Published
2016 POPL impressions
Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.Research output: Contribution to journal › Comment/debate › Research
- 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 journal › Journal article › Research › peer-review
- 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-327Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
A Formally Verified Static Analysis Framework for Compositional Contracts
Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.Research output: Contribution to conference › Paper › Research › peer-review
- 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. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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-186Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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-13Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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-13Research output: Contribution to journal › Journal article › Research
- Published
AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
AnnoDomini: From Type Theory to a Year 2000 Conversion Tool
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, In: ERCIM News. 36Research output: Contribution to journal › Journal article › Research
- 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 journal › Journal article › Research › peer-review
- Published
Automatic Incrementalization of Functional Reports
Larsen, Ken Friis & Henglein, Fritz, 2017. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Automatic Program Development: A Tribute to Robert Paige
Danvy, O. (ed.), Mairson, H. (ed.), Henglein, Fritz (ed.) & Pettorossi, A. (ed.), 2008, Berlin: Springer. 274 p.Research output: Book/Report › Anthology › Research › peer-review
- Published
Big Data eller privacy?
Henglein, Fritz, 2015. 5 p.Research output: Contribution to conference › Paper › Research
- Published
Bit-coded regular expression parsing
Nielsen, L. & Henglein, Fritz, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 402-413 12 p. (Lecture notes in computer science, Vol. 6638).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Blockchain deconstructed
Henglein, Fritz, 2018. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Book review of Helmut Partsch, ``Specification and Transformation of Programs'', Springer, Heidelberg, 1990
Henglein, Fritz, 1991, In: Science of Computer Programming. 17, 1--3, p. 247--249 3 p.Research output: Contribution to journal › Literature review › Research
- Published
Breaking Through the n^3 Barrier: Faster Object Type Inference
Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Breaking through the n^3 barrier: Faster object type inference
Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). InternetpublikationResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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
- Published
Clone detection using rolling hashing, suffix trees and dagification: a case study
Thomsen, M. J. & Henglein, Fritz, 2012, 2012 6th International Workshop on Software Clones (IWSC). IEEE, p. 22-28 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1998, In: Fundamentae Informaticae. Vol. 33, p. 309-338Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
ID: 7193
Most downloads
-
370
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
215
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published