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.
- 1991
- Udgivet
A Decidable Case of the Semi-Unification Problem
Henglein, Fritz & Leiss, H., 1991, Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin: Springer, s. 318-327Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Book review of Helmut Partsch, ``Specification and Transformation of Programs'', Springer, Heidelberg, 1990
Henglein, Fritz, 1991, I: Science of Computer Programming. 17, 1--3, s. 247--249 3 s.Publikation: Bidrag til tidsskrift › Anmeldelse › Forskning
- Udgivet
Efficient Type Inference for Higher-Order Binding-Time Analysis
Henglein, Fritz, 1991, Lecture Notes in Computer Science, vol.523: Proc. Functional Programming Languages and Computer Architecture. Berlin: Springer, s. 448-472Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/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
The Complexity of Type Inference for Higher-Order typed Lambda-Calculi
Henglein, Fritz & Mairson, H., 1991, Proc.18th. ACM Symp. on Pronciples of Programming Languages. New York: Association for Computing Machinery, s. 119-130Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Type Analysis and Data Structure Selection
Henglein, Fritz, Cai, J., Facon, P., Paige, R. & Schonberg, E., 1991, Constructing Programs from Specifications. North-Holland, s. 125-164 40 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 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
- 1993
- Udgivet
Type Inference with Polymorphic Recursion
Henglein, Fritz, 1993, I: ACM Transactions on Programming Languages and Systems (TOPLAS). 15, 2, s. 253--289 37 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 1994
- Udgivet
Dynamic Typing: Syntax and Proof Theory
Henglein, Fritz, 1994, I: Science of Computer Programming. 22, 3, s. 197-230 34 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Formally optimal boxing
Henglein, Fritz & Jørgensen, J., 1994, 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. s. 213-226Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 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
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
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
Henglein, Fritz & Mairson, H., 1994, I: Journal of Functional Programming (JFP). 4, 4, s. 435--477 43 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 1995
- 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
A Semantic Model of Binding Times for Safe Partial Evaluation
Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. SpringerPublikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML
Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, s. 192--203 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 1996
- Udgivet
- 1997
- Udgivet
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, s. 63-81Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Breaking through the n^3 barrier: Faster object type inference
Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). InternetpublikationPublikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
The Complexity of Subtype Entailment for Simple Types
Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, s. 352-361Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 1998
- Udgivet
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1998, I: Fundamentae Informaticae. Vol. 33, s. 309-338Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Safe Region-Based Memory Management for Objects
Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.Publikation: Working paper
- Udgivet
AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, I: European Research Consortium for Informatics and Mathematics. Vol. 36, s. 12-13Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- Udgivet
Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443
Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, s. 616-627Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 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
- 1999
- Udgivet
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, s. 6-13Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, s. 1-14Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
AnnoDomini: From Type Theory to a Year 2000 Conversion Tool
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, I: ERCIM News. 36Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- Udgivet
Breaking Through the n^3 Barrier: Faster Object Type Inference
Henglein, Fritz, 1999, I: Theory and Practice of Object Systems (TAPOS). 5, 1, s. 57--72 13 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2001
- Udgivet
A direct approach to control-flow sensitive region-based memory management
Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, s. 175-186Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
- 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
- 2003
- Udgivet
Special issue dedicated to Bob Paige
Henglein, Fritz, Danvy, O., Pettorossi, A. & Mairson, H., 2003, I: Higher-Order and Symbolic Computation. 16, 1Publikation: Bidrag til tidsskrift › Leder › Forskning
- 2004
- Udgivet
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, s. 8Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Compositional Specification of Commercial Contracts (Technical. report)
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
- 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
- 2005
- Udgivet
Special issue dedicated to Bob Paige (Part 2)
Danvy, O., Henglein, Fritz, Mairson, H. & Pettorossi, A., 2005, I: Higher-Order and Symbolic Computation. 18, 1Publikation: Bidrag til tidsskrift › Leder › Forskning
- Udgivet
Effect type systems and region-based memory management
Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, s. -Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 2006
- Udgivet
Compositional specification of commercial contracts
Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, I: International Journal on Software Tools for Technology Transfer. s. 485 - 516 31 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time
Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › 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
- Udgivet
- 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
What is a Sort Function?
Henglein, Fritz, 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. 26-28 3 s. (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 2010
- Udgivet
A standard-driven implementaion of WS-BPEL 2.0
Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, s. 2472-2476 5 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generic multiset programming for language-integrated querying
Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, s. 49-59 11 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Henglein, Fritz & Larsen, Ken Friis, 2010, I: Higher-Order and Symbolic Computation. 23, 3, s. 337-370 34 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › 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
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
- 2011
- 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
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
Bit-coded regular expression parsing
Nielsen, L. & Henglein, Fritz, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (red.). Springer, s. 402-413 12 s. (Lecture notes in computer science, Bind 6638).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2012
- Udgivet
Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen
Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Dynamic symbolic computation for domain-specific language implementation
Henglein, Fritz, 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Vidal, G. (red.). Springer, s. 4-24 21 s. (Lecture notes in computer science, Bind 7225).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generic top-down discrimination for sorting and partitioning in linear time
Henglein, Fritz, 2012, I: Journal of Functional Programming. 22, 3 , s. 300-374 75 s.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
Financial software on GPUs: between Haskell and Fortran
Oancea, Cosmin Eugen, Andreetta, C., Berthold, J., Frisch, A. & Henglein, Fritz, 2012, FHPC’12: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High Performance Computing. Association for Computing Machinery, s. 61-72 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Clone detection using rolling hashing, suffix trees and dagification: a case study
Thomsen, M. J. & Henglein, Fritz, 2012, 2012 6th International Workshop on Software Clones (IWSC). IEEE, s. 22-28 7 s.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
Two-pass greedy regular expression parsing
Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (red.). Springer, s. 60-71 12 s.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
- Udgivet
Trustworthy pervasive healthcare services via multiparty session types
Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (red.). Springer, s. 124-141 18 s. (Lecture notes in computer science, Bind 7789).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › 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
- Udgivet
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)
Henglein, Fritz (red.), Jhala, R. (red.), Krishnamurthi, S. (red.) & Thiemann, P. (red.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 s. (Dagstuhl Reports; Nr. 6, Bind 4).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- 2015
- Udgivet
- 2016
- Udgivet
FinPar: a parallel financial benchmark
Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, I: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, s. 1 27 s., 18.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › 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
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
2016 POPL impressions
Henglein, Fritz, 2016, I: SIGLOG News. 3, 2, s. 79-81 3 s.Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning
- 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
- 2017
- Udgivet
Automated execution of financial contracts on blockchains
Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, dec. 2017, I: Business and Information Systems Engineering. 59, 6, s. 457-467 11 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
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
- Udgivet
Automatic Incrementalization of Functional Reports
Larsen, Ken Friis & Henglein, Fritz, 2017. 2 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt
- 2018
- 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
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
Blockchain deconstructed
Henglein, Fritz, 2018. 2 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
- 2020
- Udgivet
A Formally Verified Static Analysis Framework for Compositional Contracts
Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 s.Publikation: Konferencebidrag › Paper › 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
- 2022
- Udgivet
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee
Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, I: Frontiers in blockchain. 5, 18 s., 846783.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › 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
- 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
The Programming of Algebra
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, jun. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, s. 71-92 22 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Building blocks of sharding blockchain systems: Concepts, approaches, and open problems
Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., nov. 2022, I: Computer Science Review. 46, 44 s., 100513.Publikation: Bidrag til tidsskrift › Review › Forskning › fagfællebedømt
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