The following pages link to (Q4414737):
Displaying 4 items.
- On obtaining the Boyer-Moore string-matching algorithm by partial evaluation (Q845710) (← links)
- An investigation of Jones optimality and BTI-universal specializers (Q1029807) (← links)
- Program transformation system based on generalized partial computation (Q5957059) (← links)
- Solving Not-Substring Constraint withFlat Abstraction (Q6488164) (← links)