Sciweavers

1087 search results - page 33 / 218
» Eta-Redexes in Partial Evaluation
Sort
View
PLDI
1991
ACM
14 years 1 months ago
Parameterized Partial Evaluation
Charles Consel, Siau-Cheng Khoo
WCET
2007
13 years 10 months ago
Analysing Switch-Case Tables by Partial Evaluation
Tracing the flow of control in code generated from  switch­case statements is difficult for static program  analysis   tools   when   the   code   contains Â...
Niklas Holsti
IPL
2006
75views more  IPL 2006»
13 years 9 months ago
On obtaining the Boyer-Moore string-matching algorithm by partial evaluation
Olivier Danvy, Henning Korsholm Rohde