Search results for: Jesper Jørgensen
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics and Programs > 259-278
Lecture Notes in Computer Science > Static Analysis > 432-448
Lecture Notes in Computer Science > Ada - Europe '93 > 125-141
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 152-166
Lecture Notes in Computer Science > Partial Evaluation > Theory, Systems, and Applications > 326-337
Lecture Notes in Computer Science > Partial Evaluation > Practice and Experience Using Partial Evaluators > 83-107
Lecture Notes in Computer Science > Partial Evaluation > 238-262
Higher-Order and Symbolic Computation > 1997 > 10 > 2 > 113-158