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.
- Udgivet
Infinitary axiomatization of the equational theory of context-free languages
Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, I: Fundamenta Informaticae. 150, 3-4, s. 241-257 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
- Udgivet
Iterative fixed point computation for type-based strictness analysis
Henglein, Fritz, 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (red.). Springer, s. 395-407 13 s. (Lecture notes in computer science, Bind 864).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- Udgivet
Module Theory and Query Processing: (Extended Abstract)
Henglein, Fritz & Mathiesen, Mikkel Kragh, 2020. 3 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
- 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
- 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
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
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
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc. 2nd Int'l Static Analysis Symposium (SAS). Springer, Bind LNCS.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. SpringerPublikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Polymorphic binding-time analysis
Henglein, Fritz & Mossin, C., 1994, Proceedings of European Symposium on Programming, Vol 788 of Lecture Notes in Computer Science. Springer, s. 287-301Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences
Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.Publikation: Konferencebidrag › Poster › Forskning
- Udgivet
Proc. 1st Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), London, England
Henglein, Fritz (red.), Hughes, J., Makholm, H. & Niss, H., 2001Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt
- Udgivet
Proceedings of 1st Workshop on 3d generation Enterprise Resource Planning systems (3gERP)
Henglein, Fritz (red.) & Bjørn-Andersen, N. (red.), 2007Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt
- Udgivet
Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy
Henglein, Fritz (red.), Jones, R. (red.), Morrisett, G. (red.) & O'Hearn, P. (red.), 2004Publikation: Bog/antologi/afhandling/rapport › Antologi › 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
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Glück, Robert (red.), Henglein, Fritz (red.), Hu, Z. (red.) & Takeichi, M. (red.), 2011, Department of Computer Science, University of Copenhagen. 280 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2011/01).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Programming with Structures, Functions, and Objects
Henglein, Fritz, 1991, Proc. XVII Latin American Informatics Conference (PANEL '91). s. 333-352 20 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Regular expression containment: coinductive axiomatization and computational interpretation
Henglein, Fritz & Nielsen, L., 2011, I: A C M / S I G P L A N Notices. 46, 1, s. 385-398 14 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
- Udgivet
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, I: Proceedings of the ACM on Programming Languages. 2, ICFP, s. 1-28 86.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Rock’n’roll computer science
Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (red.). Springer, s. 354-355 2 s. (Lecture notes in computer science, Bind 7230).Publikation: Bidrag til bog/antologi/rapport › Kommentar › Formidling
- Udgivet
SIGPLAN and the World Series
Henglein, Fritz, 1998, I: A C M / S I G P L A N Notices. 33, 1Publikation: Bidrag til tidsskrift › Leder › Forskning
ID: 7193
Flest downloads
-
371
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