On finding invariant relations of programs.

Alexander A. Letichevsky

Published in: Algorithms in Modern Mathematics and Computer Science (1979)

Keyphrases

semantic relations
data structure
computer programs
databases
learning algorithm
information systems
knowledge base
evolutionary algorithm
programming language
affine transformation
affine invariant
programming environment