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.
- 1998
- 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
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
Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443
Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
SIGPLAN and the World Series
Henglein, Fritz, 1998, In: A C M / S I G P L A N Notices. 33, 1Research output: Contribution to journal › Editorial › Research
- Published
Safe Region-Based Memory Management for Objects
Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.Research output: Working paper › Research
ID: 7193
Most downloads
-
377
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
219
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published