A Theoretical Basis for Stepwise Refinement and the Programming Calculus.

Joseph M. Morris

Published in: Sci. Comput. Program. (1987)

Keyphrases

theoretical basis
programming language
complexity theory
automated deduction
programming environment
data sets
data mining
step wise
theorem proving
development environment
computer programming
forward selection
refinement process
programming concepts
programming course
model checking
knowledge base
neural network