Michael Leuschel

Michael Leuschel

Heinrich-Heine Universität Düsseldorf
Verified email at hhu.de
Cited by 7235
Formal methods logic programming constraint solving partial evaluation
Olivier Danvy

Olivier Danvy

Yale-NUS College and School of Computing, National University of Singapore
Verified email at yale-nus.edu.sg
Cited by 7216
Programming Languages Continuations Partial Evaluation Functional Programming Abstract Machines
Carl Friedrich Bolz-Tereick

Carl Friedrich Bolz-Tereick

Heinrich-Heine-Universität Düsseldorf
Verified email at uni-duesseldorf.de
Cited by 1388
Virtual Machines Dynamic Languages Implementation Tracing JIT Partial Evaluation
Steve McKeever

Steve McKeever

Associate Professor, Uppsala University
Verified email at im.uu.se
Cited by 938
rigorous software engineering computational life sciences programming languages partial evaluation modelling
Sergei A. Romanenko

Sergei A. Romanenko

Researcher, Keldysh Institute of Applied Mathematics
Verified email at supercompilers.ru
Cited by 504
program transformation partial evaluation supercompilation program specialization program analysis
Dirk Dussart

Dirk Dussart

Cited by 263
Partial Evaluation Non-Standard Type Systems
Javier Espert

Javier Espert

Universidad Politécnica de Valencia (DSIC)
Verified email at dsic.upv.es
Cited by 147
formal methods partial evaluation automated reasoning verification
Jørgen Steensgaard-Madsen

Jørgen Steensgaard-Madsen

Retired (IMM Technical University Denmark; DIKU, University of Copenhagen)
Cited by 100
programming language semantics components program logic partial evaluation
Angel Cuenca-Ortega

Angel Cuenca-Ortega

Universidad de Guayaquil, Universitat Politècnica de València
Verified email at ug.edu.ec
Cited by 78
Formal Methods Partial Evaluation Maude Narrowing Term Rewriting
Tim van Deurzen

Tim van Deurzen

Software Engineer at GfK Business Applications
Verified email at kompiler.org
Cited by 22
Compilers Programming Languages Partial Evaluation Computer Science Virtual Machines
1 - 10