Olivier Danvy

Olivier Danvy

Yale-NUS College and School of Computing, National University of Singapore
在 yale-nus.edu.sg 的电子邮件经过验证
被引用次数：7140
Programming Languages Continuations Partial Evaluation Functional Programming Abstract Machines
Michael Leuschel

Michael Leuschel

Heinrich-Heine Universität Düsseldorf
在 hhu.de 的电子邮件经过验证
被引用次数：6907
Formal methods logic programming constraint solving partial evaluation
Carl Friedrich Bolz-Tereick

Carl Friedrich Bolz-Tereick

Heinrich-Heine-Universität Düsseldorf
在 uni-duesseldorf.de 的电子邮件经过验证
被引用次数：1337
Virtual Machines Dynamic Languages Implementation Tracing JIT Partial Evaluation
Steve McKeever

Steve McKeever

Associate Professor, Uppsala University
在 im.uu.se 的电子邮件经过验证
被引用次数：913
rigorous software engineering computational life sciences programming languages partial evaluation modelling
Sergei A. Romanenko

Sergei A. Romanenko

Researcher, Keldysh Institute of Applied Mathematics
在 supercompilers.ru 的电子邮件经过验证
被引用次数：502
program transformation partial evaluation supercompilation program specialization program analysis
Dirk Dussart

Dirk Dussart

被引用次数：269
Partial Evaluation Non-Standard Type Systems
Javier Espert

Javier Espert

Universidad Politécnica de Valencia (DSIC)
在 dsic.upv.es 的电子邮件经过验证
被引用次数：141
formal methods partial evaluation automated reasoning verification
Jørgen Steensgaard-Madsen

Jørgen Steensgaard-Madsen

Retired (IMM Technical University Denmark; DIKU, University of Copenhagen)
被引用次数：99
programming language semantics components program logic partial evaluation
Angel Cuenca-Ortega

Angel Cuenca-Ortega

Universidad de Guayaquil, Universitat Politècnica de València
在 ug.edu.ec 的电子邮件经过验证
被引用次数：75
Formal Methods Partial Evaluation Maude Narrowing Term Rewriting
Tim van Deurzen

Tim van Deurzen

Software Engineer at GfK Business Applications
在 kompiler.org 的电子邮件经过验证
被引用次数：22
Compilers Programming Languages Partial Evaluation Computer Science Virtual Machines
1 - 10