Non-termination in Unifying Theories of Programming.

Walter Guttmann

Published in: RelMiCS (2005)

Keyphrases

programming language
object oriented programming
neural network
computer programming
programming environment
programming course
high level language
object oriented
computational models
development environment
cognitive psychology
causal reasoning