Building and Proving Correctness of Programs using Discrete Dynamical Systems.

Viswanath Kasturi

Published in: CCCT (1) (2004)

Keyphrases

discrete dynamical systems
cellular automata
provably correct
petri net
information systems
search engine
dynamical systems
automatic programming
neural network
image processing
decision trees
special case