From Algebraic Specifications towards Algebraic Programs.

Published in: ADT (1986)

Keyphrases

higher order
multi agent systems
user interface
mathematical theory
provably correct
data mining
genetic algorithm
search engine
multiscale
computer programs
algebraic structure
algebraic expressions