Morten Heine Sørensen

Publication Activity (10 Years)

Years Active: 1994-2019
Publications (10 Years): 1

Top Venues

Stud Logica

VPT@CAV

ICPE

University of Copenhagen, Denmark (PHD)

Education History

University of Copenhagen, Denmark

PHD

Publications

Morten Heine Sørensen
Raymond Smullyan, A Beginner's Further Guide to Mathematical Logic - World Scientific Publishing 2017, pp. 288; ISBN-10: 9814725722 (hardback) £45.00, ISBN-13: 978-9814725729 (paperback) £24.00, (kindle) £13.49. Stud Logica 107 (5) (2019)
Geoff W. Hamilton, Morten Heine Sørensen
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. VPT@CAV (2014)
Morten Heine Sørensen
Book Reviews. Stud Logica 101 (5) (2013)
Morten Heine Sørensen
Use case-driven performance engineering without "concurrent users". ICPE (2013)
Morten Heine Sørensen, Pawel Urzyczyn
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic. Notre Dame J. Formal Log. 51 (4) (2010)
Morten Heine Sørensen, Pawel Urzyczyn
Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions. J. Symb. Log. 73 (3) (2008)
Morten Heine Sørensen
A Note on Shortest Developments. Log. Methods Comput. Sci. 3 (4) (2007)
Morten Heine Sørensen
A Note on Shortest Developments CoRR (2007)
Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. High. Order Symb. Comput. 16 (3) (2003)
Peter Møller Neergaard, Morten Heine Sørensen
Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions. Inf. Comput. 178 (1) (2002)
Jens P. Secher, Morten Heine Sørensen
From checking to inference via driving and dag grammars. PEPM (2002)
Morten Heine Sørensen, Jens P. Secher
From Type Inference to Configuration. The Essence of Computation (2002)
Gilles Barthe, John Hatcliff, Morten Heine Sørensen
Weak normalization implies strong normalization in a class of non-dependent pure type systems. Theor. Comput. Sci. 269 (1-2) (2001)
Gilles Barthe, John Hatcliff, Morten Heine Sørensen
An induction principle for pure type systems. Theor. Comput. Sci. 266 (1-2) (2001)
Morten Heine Sørensen
Convergence of program transformers in the metric space of trees. Sci. Comput. Program. 37 (1-3) (2000)
Gilles Barthe, Morten Heine Sørensen
Domain-free pure type systems. J. Funct. Program. 10 (5) (2000)
Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". J. Log. Program. 43 (3) (2000)
Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. J. Log. Program. 41 (2-3) (1999)
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)
Gilles Barthe, John Hatcliff, Morten Heine Sørensen
CPS Translations and Applications: The Cube and Beyond. High. Order Symb. Comput. 12 (2) (1999)
Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
Perpetual Reductions in Lambda-Calculus. Inf. Comput. 149 (2) (1999)
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)
Jens P. Secher, Morten Heine Sørensen
On Perfect Supercompilation. Ershov Memorial Conference (1999)
Morten Heine Sørensen
Convergence of Program Transformers in the Metric Space of Trees. MPC (1998)
Helmut Seidl, Morten Heine Sørensen
Constraints to Stop Deforestation. Sci. Comput. Program. 32 (1-3) (1998)
Morten Heine Sørensen, Robert Glück
Introduction to Supercompilation. Partial Evaluation (1998)
Helmut Seidl, Morten Heine Sørensen
Constraints to Stop Higher-Order Deforestation. POPL (1997)
Morten Heine Sørensen
Strong Normalization from Weak Normalization in Typed Lambda-Calculi. Inf. Comput. 133 (1) (1997)
Gilles Barthe, John Hatcliff, Morten Heine Sørensen
A notion of classical pure type system. MFPS (1997)
Gilles Barthe, Morten Heine Sørensen
Domain-Free Pure Type Systems. LFCS (1997)
Gilles Barthe, John Hatcliff, Morten Heine Sørensen
Reflections on Reflections. PLILP (1997)
Morten Heine Sørensen, Robert Glück, Neil D. Jones
A Positive Supercompiler. J. Funct. Program. 6 (6) (1996)
Robert Glück, Morten Heine Sørensen
A Roadmap to Metacomputation by Supercompilation. Dagstuhl Seminar on Partial Evaluation (1996)
Morten Heine Sørensen
Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi. CAAP (1996)
Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
Controlling Conjunctive Partial Deduction. PLILP (1996)
Michael Leuschel, Morten Heine Sørensen
Redundant Argument Filtering of Logic Programs. LOPSTR (1996)
Morten Heine Sørensen, Robert Glück
An Algorithm of Generalization in Positive Supercompilation. ILPS (1995)
Kristian Nielsen, Morten Heine Sørensen
Call-By-Name CPS-Translation as a Binding-Time Improvement SAS (1995)
Morten Heine Sørensen
Grammar-Based Data-Flow Analysis to Stop Deforestation. CAAP (1994)
Jakob Rehof, Morten Heine Sørensen
-calculus. TACS (1994)
Morten Heine Sørensen, Robert Glück, Neil D. Jones
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. ESOP (1994)
Robert Glück, Morten Heine Sørensen
Partial Deduction and Driving are Equivalent. PLILP (1994)

Morten Heine Sørensen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Morten Heine Sørensen