Eureka step

Search:

Eureka step

In program transformation, a transformation which is not obvious or easy to define as an algorithm.

(1994-12-08)