Type-based termination of generic programs.

Published in: Sci. Comput. Program. (2009)

Keyphrases

type checking
genetic algorithm
high level
image sequences
wide range
search algorithm
domain specific
theorem proving
automatic programming