Concepedia

Morten Heine Sørensen

MH

14

Publications

624

Citations

12

H-Index

1994

Active since

Affiliations

University of Copenhagen(Current)

Centrum Wiskunde & Informatica

Kansas State University

Institut national de recherche en sciences et technologies du numérique

Morten Heine Sørensen is an author at University of Copenhagen specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationCompilersVerificationSoftware Design

Publications per year

1994–2002

14

Publications

14

A positive supercompiler

Morten Heine Sørensen, Robert Glück, N. D. Jones · Journal of Functional Programming · 1996 · 185 citations · Full text

Engineering, Computational Complexity, Partial Deduction +16

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen et al. · The Journal of Logic Programming · 1999 · 100 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +6

Perpetual Reductions inλ-Calculus

Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen et al. · Information and Computation · 1999 · 57 citations · Full text

Perpetual Reductions Inλ-calculus, Algebraic Analysis, Lambda Calculus +2

AnnoDomini

Peter Harry Eidorff, Fritz Henglein, Christian Mossin et al. · 1999 · 50 citations · Full text

Engineering, Generic Programming, Program Analysis +15

Domain-free pure type systems

Gilles Barthe, Morten Heine Sørensen · Journal of Functional Programming · 2000 · 35 citations

Engineering, Domain Theory, Automated Reasoning +10

Rows per page

1–5 of 14