| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fritz Henglein |
Rock'n'Roll Computer Science.  |
Logic and Program Semantics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lasse Nielsen, Fritz Henglein |
Bit-coded Regular Expression Parsing. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Lasse Nielsen |
Regular expression containment: coinductive axiomatization and computational interpretation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
Large-scale sound and precise program analysis: technical persepctive. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Ken Friis Larsen |
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. |
Higher-Order and Symbolic Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
Optimizing relational algebra operations using generic equivalence discriminators and lazy products. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy |
| 1 | Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt |
A standard-driven implementaion of WS-BPEL 2.0. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
standard-driven, XPath, WS-BPEL, OASIS |
| 1 | Fritz Henglein, Ken Friis Larsen |
Generic multiset programming for language-integrated querying. |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen |
POETS: Process-oriented event-driven transaction systems. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
What is a Sorting Function? |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
Generic discrimination: sorting and paritioning unshared data in linear time. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order |
| 1 | Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen |
Compositional specification of commercial contracts. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi |
Editorial. |
Higher-Order and Symbolic Computation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen |
Compositional Specification of Commercial Contracts. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi |
Editorial: Special Issue Dedicated to Bob Paige. |
Higher-Order and Symbolic Computation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Henning Makholm, Henning Niss |
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fritz Henglein |
Breaking Through the n3 Barrier: Faster Object Type Inference. |
TAPOS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte |
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte |
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
COBOL |
| 1 | Fritz Henglein |
SIGPLAN and the World Series. |
SIGPLAN Notices |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael Brandt, Fritz Henglein |
Coinductive Axiomatization of Recursive Type Equality and Subtyping. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Jakob Rehof |
Constraint Automata and the Complexity of Recursive Subtype Entailment. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Brandt, Fritz Henglein |
Coinductive Axiomatization of Recursive Type Equality and Subtyping. |
TLCA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee, Fritz Henglein, Neil D. Jones (eds.) |
Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997 |
POPL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Fritz Henglein, Jakob Rehof |
The Complexity of Subtype Entailment for Simple Types. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm |
| 1 | Fritz Henglein, David Sands |
A Semantic Model of Binding Times for Safe Partial Evaluation |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Jakob Rehof |
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dirk Dussart, Fritz Henglein, Christian Mossin |
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time |
SAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
Dynamic Typing: Syntax and Proof Theory. |
Sci. Comput. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Harry G. Mairson |
The Complexity of Type Inference for Higher-Order Typed lambda Calculi. |
J. Funct. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Jesper Jørgensen |
Formally Optimal Boxing. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
representation analysis, polymorphism, type inference |
| 1 | Fritz Henglein |
Iterative Fixed Point Computation for Type-Based Strictness Analysis. |
SAS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Christian Mossin |
Polymorphic Binding-Time Analysis. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
Type Inference with Polymorphic Recursion. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
semiunification, polymorphism, type inference, recursion |
| 1 | Fritz Henglein |
Global Tagging Optimization by Type Inference. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Fritz Henglein |
Dynamic Typing. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Leiß, Fritz Henglein |
A Decidable Case of the Semi-Unification Problem. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Harry G. Mairson |
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Fritz Henglein |
Efficient Type Inference for Higher-Order Binding-Time Analysis. |
FPCA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
Fast Left-Linear Semi-Unification. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
semi-unification, left-linear, P-completeness |
| 1 | Fritz Henglein |
Type Inference and Semi-Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Paige, Fritz Henglein |
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. |
J. Symb. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Paige, Fritz Henglein |
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. |
European Conference on Computer Algebra |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")