Sign in

Lean Programs, Branch Mispredictions, and Sorting.

Amr ElmasryJyrki 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