Lean Programs, Branch Mispredictions, and Sorting.

Amr Elmasry Jyrki Katajainen

Published in: FUN (2012)

Keyphrases

sorting algorithms
automatic programming
control structures
information retrieval
information systems
provably correct
functional programs
data sets
decision trees
multi agent
mobile robot
query language
fixpoint