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
31 - 40 out of 95Page size: 10
Sort by: Title
  1. Published

    Domain-specific languages for enterprise systems

    Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).

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

  2. Published

    Dynamic Typing

    Henglein, Fritz, 1992, Proc. European Symp. on Programming (ESOP), Rennes, France. Berlin, Tyskland: Springer, p. 233--253 21 p. (Lecture Notes in Computer Science (LNCS), Vol. 582).

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

  3. Published

    Dynamic Typing: Syntax and Proof Theory

    Henglein, Fritz, 1994, In: Science of Computer Programming. 22, 3, p. 197-230 34 p.

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

  4. Published

    Dynamic symbolic computation for domain-specific language implementation

    Henglein, Fritz, 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Vidal, G. (ed.). Springer, p. 4-24 21 p. (Lecture notes in computer science, Vol. 7225).

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

  5. Published

    Effect type systems and region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -

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

  6. Published

    Efficient Type Inference for Higher-Order Binding-Time Analysis

    Henglein, Fritz, 1991, Lecture Notes in Computer Science, vol.523: Proc. Functional Programming Languages and Computer Architecture. Berlin: Springer, p. 448-472

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

  7. Published

    Efficient Type Matching

    Jha, S., Palsberg, J., Zhao, T. & Henglein, Fritz, 2008,  Automatic Program Development: A Tribute to Robert Page, Part III. Danvy, O., Mairson, H., Henglein, F. & Pettorossi, A. (eds.). Springer, p. 229-246

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

  8. Published

    Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

    Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.

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

  9. Published

    FinPar: a parallel financial benchmark

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.

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

  10. Published

    Financial software on GPUs: between Haskell and Fortran

    Oancea, Cosmin Eugen, Andreetta, C., Berthold, J., Frisch, A. & Henglein, Fritz, 2012, FHPC’12: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High Performance Computing. Association for Computing Machinery, p. 61-72 12 p.

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

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

ID: 7193