Retrospective and Prospective for Unifying Theories of Programming.

Eric C. R. Hehner

Published in: UTP (2006)

Keyphrases

programming language
programming environment
data mining
general purpose
computer programming
formal models
design theory
high level language
neural network
web pages
multi agent
data structure
computer programs
object oriented programming
causal reasoning