Concepedia

Jesper Jørgensen

JJ

7

Publications

365

Citations

7

H-Index

1992

Active since

Affiliations

University of Copenhagen(Current)

University of Southampton

Jesper Jørgensen is an author at University of Copenhagen specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationCompilersSoftware EngineeringProgramming Languages

Publications per year

1992–2004

7

Publications

7

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

Efficient analyses for realistic off-line partial evaluation

Anders Bondorf, Jesper Jørgensen · Journal of Functional Programming · 1993 · 79 citations · Full text

Engineering, Software Systems, Verification +22

Generating a compiler for a lazy language by partial evaluation

Jesper Jørgensen · 1992 · 62 citations

Engineering, Lazy Language, Compiler Technology +19

Formally optimal boxing

Fritz Henglein, Jesper Jørgensen · 1994 · 57 citations

Mathematical Programming, Source Program, Engineering +22

Offline specialisation in Prolog using a hand-written compiler generator

Michaël Leuschel, Jesper Jørgensen, Wim Vanhoof et al. · Theory and Practice of Logic Programming · 2004 · 41 citations · Full text

Rows per page

1–5 of 7