În pseudocod, algoritmul va arăta în felul următor:
== code(cpp) |

// S = şirul de numere iniţial şi N = lungimea sa

// S şirul de numere iniţial şi N lungimea sa
// Subalgoritmul push() inserează în deque poziţia p din şirul S în conformitate cu
// funcţia fct, o funcţie generică

Subalgoritmul push(deque, întreg p, funcţia fct) este:
    cât timp (!deque.empty() şi fct(S[p], S[deque.back()])) execută
        deque.pop_back();
    deque.push_back(p);
Sfârşit;

// Funcţia query() întoarce primul indice din deque aflat în intervalul de interes (j, i]

Funcţia query(deque, întreg j) este:
    cât timp (!deque.empty() şi deque.front() <= j) execută
        deque.pop_front();