Detecting Equality of Variables in Programs.
Bowen AlpernMark N. WegmanF. Kenneth ZadeckPublished in: POPL (1988)
Keyphrases
- function symbols
- fixpoint
- logic programs
- variable selection
- random variables
- intermediate level
- input variables
- normal form
- databases
- genetic algorithm
- structural model
- neural network
- computer programs
- automatic detection
- np complete
- database
- graphical models
- rough sets
- state space
- probability distribution
- artificial neural networks
- information technology
- information systems