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
  1. 1999
  2. 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. 36

    Research output: Contribution to journal › Journal article › Research

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

  4. 2001
  5. 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 proceeding › Report chapter › Communication

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

  7. 2003
  8. 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

  9. 2004
  10. Published

    Compositional Specification of Commercial Contracts

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

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

  11. Published

    Compositional Specification of Commercial Contracts (Technical. report)

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

    Research output: Book/Report › Report › Communication

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

  13. 2005
  14. 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

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

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

ID: 7193