Detecting Global Variables in Denotational Specifications.

David A. Schmidt

Published in: ACM Trans. Program. Lang. Syst. (1985)

Keyphrases

operational semantics
high level
neural network
database
data mining
genetic algorithm
artificial neural networks
markov random field