A Symbolic Simulator for Microprogram Development.

Published in: IEEE Trans. Computers (1983)

Keyphrases

high level
data structure
st century
databases
real world
search algorithm
software engineering
knowledge acquisition
decision support
test bed
economic development