The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Morten Heine Sørensen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Morten Heine Sørensen, Jens P. Secher
    From Type Inference to Configuration. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:436-472 [Conf]
  2. Morten Heine Sørensen
    Grammar-Based Data-Flow Analysis to Stop Deforestation. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:335-351 [Conf]
  3. Morten Heine Sørensen
    Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:287-301 [Conf]
  4. Robert Glück, Morten Heine Sørensen
    A Roadmap to Metacomputation by Supercompilation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:137-160 [Conf]
  5. Jens P. Secher, Morten Heine Sørensen
    On Perfect Supercompilation. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:113-127 [Conf]
  6. Morten Heine Sørensen, Robert Glück, Neil D. Jones
    Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:485-500 [Conf]
  7. Gilles Barthe, Morten Heine Sørensen
    Domain-Free Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:9-20 [Conf]
  8. Michael Leuschel, Morten Heine Sørensen
    Redundant Argument Filtering of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:83-103 [Conf]
  9. Morten Heine Sørensen
    Convergence of Program Transformers in the Metric Space of Trees. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:315-337 [Conf]
  10. Morten Heine Sørensen, Robert Glück
    Introduction to Supercompilation. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:246-270 [Conf]
  11. Jens P. Secher, Morten Heine Sørensen
    From checking to inference via driving and dag grammars. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:41-51 [Conf]
  12. Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
    Controlling Conjunctive Partial Deduction. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:152-166 [Conf]
  13. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    Reflections on Reflections. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:241-258 [Conf]
  14. Robert Glück, Morten Heine Sørensen
    Partial Deduction and Driving are Equivalent. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:165-181 [Conf]
  15. Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
    AnnoDomini: From Type Theory to Year 2000 Conversion Tool. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:1-14 [Conf]
  16. Helmut Seidl, Morten Heine Sørensen
    Constraints to Stop Higher-Order Deforestation. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:400-413 [Conf]
  17. Kristian Nielsen, Morten Heine Sørensen
    Call-By-Name CPS-Translation as a Binding-Time Improvement [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:296-313 [Conf]
  18. Morten Heine Sørensen, Robert Glück
    An Algorithm of Generalization in Positive Supercompilation. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:465-479 [Conf]
  19. Jakob Rehof, Morten Heine Sørensen
    The LambdaDelta-calculus. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:516-542 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:6-13 [Conf]
  21. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    A notion of classical pure type system. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:4-59 [Journal]
  22. Peter Møller Neergaard, Morten Heine Sørensen
    Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:1, pp:149-179 [Journal]
  23. Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
    Perpetual Reductions in Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:149, n:2, pp:173-225 [Journal]
  24. Morten Heine Sørensen
    Strong Normalization from Weak Normalization in Typed Lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:133, n:1, pp:35-71 [Journal]
  25. Gilles Barthe, Morten Heine Sørensen
    Domain-free pure type systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:5, pp:417-452 [Journal]
  26. Morten Heine Sørensen, Robert Glück, Neil D. Jones
    A Positive Supercompiler. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:6, pp:811-838 [Journal]
  27. 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". [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:43, n:3, pp:265- [Journal]
  28. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:231-277 [Journal]
  29. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    CPS Translations and Applications: The Cube and Beyond. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:2, pp:125-170 [Journal]
  30. Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen
    Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:3, pp:253-285 [Journal]
  31. Helmut Seidl, Morten Heine Sørensen
    Constraints to Stop Deforestation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:32, n:1-3, pp:73-107 [Journal]
  32. Morten Heine Sørensen
    Convergence of program transformers in the metric space of trees. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:163-205 [Journal]
  33. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    An induction principle for pure type systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:773-818 [Journal]
  34. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    Weak normalization implies strong normalization in a class of non-dependent pure type systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:269, n:1-2, pp:317-361 [Journal]
  35. Morten Heine Sørensen
    A Note on Shortest Developments [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002