Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
Kommentarer til publikationsliste
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.
- 1999
- Udgivet
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, I: ERCIM News. 36Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- Udgivet
Breaking Through the n^3 Barrier: Faster Object Type Inference
Henglein, Fritz, 1999, I: Theory and Practice of Object Systems (TAPOS). 5, 1, s. 57--72 13 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2001
- Udgivet
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, s. 175-186Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
- Udgivet
Proc. 1st Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), London, England
Henglein, Fritz (red.), Hughes, J., Makholm, H. & Niss, H., 2001Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt
- 2003
- Udgivet
Special issue dedicated to Bob Paige
Henglein, Fritz, Danvy, O., Pettorossi, A. & Mairson, H., 2003, I: Higher-Order and Symbolic Computation. 16, 1Publikation: Bidrag til tidsskrift › Leder › Forskning
- 2004
- Udgivet
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, s. 8Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
- Udgivet
Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy
Henglein, Fritz (red.), Jones, R. (red.), Morrisett, G. (red.) & O'Hearn, P. (red.), 2004Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt
- 2005
- Udgivet
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, s. -Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Special issue dedicated to Bob Paige (Part 2)
Danvy, O., Henglein, Fritz, Mairson, H. & Pettorossi, A., 2005, I: Higher-Order and Symbolic Computation. 18, 1Publikation: Bidrag til tidsskrift › Leder › Forskning
ID: 7193
Flest downloads
-
369
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet -
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
213
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet