Login / Signup
Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)
A. J. Kfoury
Published in:
FOCS (1980)
Keyphrases
</>
theoretic analysis
computational model
objective function
probabilistic model
sensitivity analysis
mathematical model
high level
conceptual model
database
neural network
reinforcement learning
search algorithm
probability distribution
rough sets
theoretical analysis
experimental data