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.
- 2014
- Published
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)
Henglein, Fritz (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).Research output: Book/Report › Report › Research
- 2011
- Published
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Glück, Robert (ed.), Henglein, Fritz (ed.), Hu, Z. (ed.) & Takeichi, M. (ed.), 2011, Department of Computer Science, University of Copenhagen. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).Research output: Book/Report › Anthology › Research
- 2008
- Published
Automatic Program Development: A Tribute to Robert Paige
Danvy, O. (ed.), Mairson, H. (ed.), Henglein, Fritz (ed.) & Pettorossi, A. (ed.), 2008, Berlin: Springer. 274 p.Research output: Book/Report › Anthology › Research › peer-review
- Published
Proceedings of 2nd Workshop on 3d generation Enterprise Resource Planning systems (3gERP)
Henglein, Fritz (ed.) & Bjørn-Andersen, N. (ed.), 2008Research output: Book/Report › Book › Research
- 2007
- Published
Proceedings of 1st Workshop on 3d generation Enterprise Resource Planning systems (3gERP)
Henglein, Fritz (ed.) & Bjørn-Andersen, N. (ed.), 2007Research output: Book/Report › Anthology › Research › peer-review
- 2006
- Published
Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time
Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.Research output: Book/Report › Report › Research
- 2004
- 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.), 2004Research output: Book/Report › Anthology › Research › peer-review
- 2001
- 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., 2001Research output: Book/Report › Anthology › Research › peer-review
ID: 7193
Most downloads
-
369
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
213
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published