MILO: A Microarchitecture and Logic Optimizer.

Nels Vander Zanden Daniel Gajski

Published in: DAC (1988)

Keyphrases

deontic logic
nonmonotonic logics
early stage
optimization algorithm
databases
information retrieval
query optimization
modal logic