Login / Signup
An Abstract Machine for Fixed-Order Dynamically Stratified Programs.
Konstantinos Sagonas
Terrance Swift
David Scott Warren
Published in:
CADE (1996)
Keyphrases
</>
fixed order
abstract machine
data model
prefix tree
databases
setup cost