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.
- 2010
- Udgivet
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Henglein, Fritz, 2010, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 73-82 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Technical perspective: large-scale sound and precise program analysis
Henglein, Fritz, 2010, I: Communications of the ACM. 53, 8, s. 114 1 s.Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning › fagfællebedømt
- 2009
- Udgivet
POETS: Process-oriented Enterprise Transaction Systems
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, I: Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
What is a Sorting Function?
Henglein, Fritz, 2009, I: Journal of Logic and Algebraic Programming. 78, 7, s. 552-572 20 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Optimizing relational algebra operations using discrimination-based joins and lazy products
Henglein, Fritz, 2009, København: Museum Tusculanum, s. 32.Publikation: Working paper › Forskning
- 2008
- Udgivet
Automatic Program Development: A Tribute to Robert Paige
Danvy, O. (red.), Mairson, H. (red.), Henglein, Fritz (red.) & Pettorossi, A. (red.), 2008, Berlin: Springer. 274 s.Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt
- Udgivet
Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, s. 91-102Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Proceedings of 2nd Workshop on 3d generation Enterprise Resource Planning systems (3gERP)
Henglein, Fritz (red.) & Bjørn-Andersen, N. (red.), 2008Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
- Udgivet
Efficient Type Matching
Jha, S., Palsberg, J., Zhao, T. & Henglein, Fritz, 2008, Automatic Program Development: A Tribute to Robert Page, Part III. Danvy, O., Mairson, H., Henglein, F. & Pettorossi, A. (red.). Springer, s. 229-246Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 2007
- Udgivet
Compositional Contract Specification for REA
Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › 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