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.
- 2022
- Udgivet
Algeo: An Algebraic Approach to Reversibility
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (red.). Springer, s. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13354 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Combinatory Adjoints and Differentiation
Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Bind 360. s. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 360).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2017
- Udgivet
PEG parsing in less space using progressive tabling and dynamic analysis
Henglein, Fritz & Rasmussen, U. T., 2 jan. 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 35-46 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, s. 556-571 16 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2016
- Udgivet
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers
Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, s. 284-297 14 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Modal intersection types, two-level languages, and staged synthesis
Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (red.). Springer, s. 289-312 24 s. (Lecture notes in computer science, Bind 9560).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- 2014
- Udgivet
Domain-specific languages for enterprise systems
Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer, s. 73-95 23 s. (Lecture notes in computer science, Bind 8802).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Optimally streaming greedy regular expression parsing
Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (red.). Springer, s. 224-240 17 s. (Lecture notes in computer science, Bind 8687).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2013
- Udgivet
Infinitary axiomatization of the equational theory of context-free languages
Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (red.). s. 44-55 12 s. (Electronic Proceedings in Theoretical Computer Science, Bind 126).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Sorting and searching by distribution: from generic discrimination to generic tries
Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (red.). Springer, s. 315-332 18 s. (Lecture notes in computer science, Bind 8301).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 7193
Flest downloads
-
370
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