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.
- 1992
- Udgivet
Dynamic Typing
Henglein, Fritz, 1992, Proc. European Symp. on Programming (ESOP), Rennes, France. Berlin, Tyskland: Springer, s. 233--253 21 s. (Lecture Notes in Computer Science (LNCS), Bind 582).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Global Tagging Optimization by Type Inference
Henglein, Fritz, 1992, Proc. 1992 ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California. Association for Computing MachineryPublikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Simple closure analysis
Henglein, Fritz, 1992, I: DIKU Semantics Report. D-193, MarchPublikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
ID: 7193
Flest downloads
-
372
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet -
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
215
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet