An implementation from a direct semantics definition.

David A. Schmidt

Published in: Programs as Data Objects (1985)

Keyphrases

specification language
hardware implementation
image sequences
conceptual model
efficient implementation
real world
genetic algorithm
artificial intelligence
knowledge base
decision trees
general purpose
logic programs
implementation details
operational semantics