Search results for: Robert Glück
Journal of Logical and Algebraic Methods in Programming > 2017 > 87 > C > 33-50
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 154-168
Lecture Notes in Computer Science > Generic Programming > Foundations and Methodology Comparisons > 25-39
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics and Programs > 259-278
Lecture Notes in Computer Science > Perspectives of System Informatics > Partial Evaluation and Supercompilation > 93-100
Lecture Notes in Computer Science > Partial Evaluation > 161-182
Lecture Notes in Computer Science > Static Analysis > 432-448
Lecture Notes in Computer Science > Partial Evaluation > Theory, Systems, and Applications > 246-270
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 152-166
Lecture Notes in Computer Science > Perspectives of System Informatics > Partial Evaluation and Supercompilation > 80-92
Lecture Notes in Computer Science > Partial Evaluation > 137-160
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 117-128