Fritz Henglein

Fritz Henglein

Professor

ORCID: 0000-0001-5190-2125

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.

 


Publication year:
All
51 - 95 out of 95Page size: 50
Sort by: Title
  1. 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 journal › Journal article › Research › peer-review

  2. Published

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Research output: Working paper › Research

  3. Published

    Iterative fixed point computation for type-based strictness analysis

    Henglein, Fritz, 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (ed.). Springer, p. 395-407 13 p. (Lecture notes in computer science, Vol. 864).

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

  4. Published

    Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

    Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 284-297 14 p.

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

  5. Published

    Modal intersection types, two-level languages, and staged synthesis

    Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 289-312 24 p. (Lecture notes in computer science, Vol. 9560).

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

  6. Published

    Module Theory and Query Processing: (Extended Abstract)

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

    Research output: Contribution to conference › Conference abstract for conference › Research

  7. Published

    Optimally streaming greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer, p. 224-240 17 p. (Lecture notes in computer science, Vol. 8687).

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

  8. Published

    Optimizing relational algebra operations using generic equivalence discriminators and lazy products

    Henglein, Fritz, 2010, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 73-82 10 p.

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

  9. 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 proceeding › Article in proceedings › Research › peer-review

  10. Published

    POETS: Process-oriented Enterprise Transaction Systems

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.

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

  11. Published

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc. 2nd Int'l Static Analysis Symposium (SAS). Springer, Vol. LNCS.

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

  12. Published

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

  13. Published

    Polymorphic binding-time analysis

    Henglein, Fritz & Mossin, C., 1994, Proceedings of European Symposium on Programming, Vol 788 of Lecture Notes in Computer Science. Springer, p. 287-301

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

  14. Published

    Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences

    Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.

    Research output: Contribution to conference › Poster › Research

  15. Published

    Proc. 1st Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), London, England

    Henglein, Fritz (ed.), Hughes, J., Makholm, H. & Niss, H., 2001

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

  16. Published

    Proceedings of 1st Workshop on 3d generation Enterprise Resource Planning systems (3gERP)

    Henglein, Fritz (ed.) & Bjørn-Andersen, N. (ed.), 2007

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

  17. Published

    Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy

    Henglein, Fritz (ed.), Jones, R. (ed.), Morrisett, G. (ed.) & O'Hearn, P. (ed.), 2004

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

  18. Published

    Proceedings of 2nd Workshop on 3d generation Enterprise Resource Planning systems (3gERP)

    Henglein, Fritz (ed.) & Bjørn-Andersen, N. (ed.), 2008

    Research output: Book/Report › Book › Research

  19. Published

    Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

    Glück, Robert (ed.), Henglein, Fritz (ed.), Hu, Z. (ed.) & Takeichi, M. (ed.), 2011, Department of Computer Science, University of Copenhagen. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).

    Research output: Book/Report › Anthology › Research

  20. Published

    Programming with Structures, Functions, and Objects

    Henglein, Fritz, 1991, Proc. XVII Latin American Informatics Conference (PANEL '91). p. 333-352 20 p.

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

  21. Published

    Regular expression containment: coinductive axiomatization and computational interpretation

    Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.

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

  22. Published

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  23. 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 journal › Journal article › Research › peer-review

  24. Published

    Rock’n’roll computer science

    Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication

  25. Published

    SIGPLAN and the World Series

    Henglein, Fritz, 1998, In: A C M / S I G P L A N Notices. 33, 1

    Research output: Contribution to journal › Editorial › Research

  26. Published

    Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML

    Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.

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

  27. Published

    Safe Region-Based Memory Management for Objects

    Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.

    Research output: Working paper › Research

  28. Published

    Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)

    Henglein, Fritz (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).

    Research output: Book/Report › Report › Research

  29. Published

    Simple closure analysis

    Henglein, Fritz, 1992, In: DIKU Semantics Report. D-193, March

    Research output: Contribution to journal › Journal article › Research

  30. Published

    Sorting and searching by distribution: from generic discrimination to generic tries

    Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).

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

  31. Published

    Special issue dedicated to Bob Paige

    Henglein, Fritz, Danvy, O., Pettorossi, A. & Mairson, H., 2003, In: Higher-Order and Symbolic Computation. 16, 1

    Research output: Contribution to journal › Editorial › Research

  32. Published

    Special issue dedicated to Bob Paige (Part 2)

    Danvy, O., Henglein, Fritz, Mairson, H. & Pettorossi, A., 2005, In: Higher-Order and Symbolic Computation. 18, 1

    Research output: Contribution to journal › Editorial › Research

  33. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paper › Research

  34. Published

    Technical perspective: large-scale sound and precise program analysis

    Henglein, Fritz, 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.

    Research output: Contribution to journal › Comment/debate › Research › peer-review

  35. Published

    The Complexity of Subtype Entailment for Simple Types

    Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361

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

  36. Published

    The Complexity of Type Inference for Higher-Order Typed Lambda Calculi

    Henglein, Fritz & Mairson, H., 1994, In: Journal of Functional Programming (JFP). 4, 4, p. 435--477 43 p.

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

  37. Published

    The Complexity of Type Inference for Higher-Order typed Lambda-Calculi

    Henglein, Fritz & Mairson, H., 1991, Proc.18th. ACM Symp. on Pronciples of Programming Languages. New York: Association for Computing Machinery, p. 119-130

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

  38. Published

    The Programming of Algebra

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.

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

  39. Published

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).

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

  40. Published

    Two-pass greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.

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

  41. Published

    Type Analysis and Data Structure Selection

    Henglein, Fritz, Cai, J., Facon, P., Paige, R. & Schonberg, E., 1991, Constructing Programs from Specifications. North-Holland, p. 125-164 40 p.

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

  42. Published

    Type Inference with Polymorphic Recursion

    Henglein, Fritz, 1993, In: ACM Transactions on Programming Languages and Systems (TOPLAS). 15, 2, p. 253--289 37 p.

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

  43. Published

    What is a Sort Function?

    Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

  44. Published

    What is a Sorting Function?

    Henglein, Fritz, 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.

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

  45. Published

     Optimizing relational algebra operations using discrimination-based joins and lazy products

    Henglein, Fritz, 2009, København: Museum Tusculanum, p. 32.

    Research output: Working paper › Research

Previous 1 2 Next

ID: 7193