partial evaluation

technique for program optimization

Kategoriler: