Third-order Idealized Algol with iteration is decidable.

Andrzej S. Murawski Igor Walukiewicz

Published in: Theor. Comput. Sci. (2008)

Keyphrases

programming language
objective function
neural network
machine learning
relational databases
iterative process
object oriented concepts
real world
social networks
hidden markov models
first order logic
transitive closure
datalog programs