The Specification of Assemblers.

Published in: IEEE Trans. Software Eng. (1976)

Keyphrases

high level
data sets
learning algorithm
decision making
multimedia
digital libraries
data mining
machine learning
artificial neural networks
formal methods
specification language
formal verification
state machine