Typing Assembly Programs with Explicit Forwarding.

Lennart Beringer

Published in: TACS (2001)

Keyphrases

high speed
high level programming
artificial intelligence
case study
computer programs
automatic programming
data delivery
real time
data sets
databases
mobile devices
intermediate level