Proving Termination of GHC Programs.
M. R. K. Krishna RaoDeepak KapurR. K. ShyamasundarPublished in: New Gener. Comput. (1997)
Keyphrases
- term rewrite systems
- automatic programming
- rewrite systems
- computer vision
- three dimensional
- computer programs
- neural network
- prolog programs
- intermediate level
- digital libraries
- multiscale
- video sequences
- information technology
- relational databases
- knowledge representation
- programming environment
- fixpoint
- image segmentation
- e learning
- control structures
- decision making
- term rewriting
- artificial intelligence
- data sets