The Size-Change Termination Principle for Constructor Based Languages.

Pierre Hyvernat

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

expressive power
language independent
website
expert systems
information extraction
functional dependencies
standard deviation
type checking