Un tabel de ramuri este o metodă de a transfera eficient controlul programului de la o parte a unui program la alta sau la un al doilea program care a fost încărcat dinamic, prin trimiterea unei ramuri de instrucțiuni sau prin implementarea unei instrucțiuni switch. Această metodă, uneori numită tabel de salt, se bazează pe un set de circumstanțe sau condiții pentru a efectua un salt pentru a implementa o procedură conform unei instrucțiuni switch de la un compilator C+. Unele dintre principalele avantaje ale tabelelor de ramuri sunt structura lor compactă de cod și o reducere a necesității de a testa codurile returnate în mod individual atunci când se determină fluxul de program.
În anii 1980, tabelele de ramuri au fost utilizate pe scară largă în programarea în limbaj de asamblare. Ele sunt încă folosite în programarea de asamblare pentru sistemele încorporate și dezvoltarea sistemelor de operare. Începând cu anii 1990, limbajele de programare ale compilatorului au folosit și funcționarea tabelelor de ramuri.
Tabelele de ramuri constau dintr-o listă de instrucțiuni necondiționate care, având în vedere intrarea, se ramifică către alte destinații. Majoritatea hardware-ului computerului poate executa aceste instrucțiuni în mod eficient. Uneori, decalajul – în esență, distanța până la destinație – poate fi adăugat la un registru de contor de program care poate indica apoi seturi de instrucțiuni de ramificație sau sări între seturi de instrucțiuni de ramificație. Tot ceea ce este necesar pentru implementarea unui tabel de ramificație este validarea codului de intrare, transformarea datelor într-un offset și înmulțirea datelor la o lungime de instrucțiune dată.
Programarea încorporată folosește tabele ramificate, deoarece acestea sunt mai eficiente în memorie decât utilizarea codului mașină sau a indicatorilor în matrice. Sistemele de control încorporate au nevoie de aceste economii de memorie și, deși poate costa o cantitate mică de performanță în timpul accesului la tabelul de ramificație, orice apel de funcție de metodă virtuală ar costa aceeași performanță pentru o funcționare stabilă. Accesul limitat la CPU și economiile de memorie în sistemele încorporate au nevoie de un tabel de ramificație pentru seturile de funcții statice.
Limbajele de programare ale compilatorului generează propriile lor tabele de ramuri atunci când este necesar utilizând cheile de căutare pentru optimizarea compilatoarelor. Unii programatori aleg să asiste manual compilatorul cu generarea de tabele de ramificație în context, oferind compilatorului parametri condiționali în doi pași din care să caute cheile. În primii ani de compilare a programelor, implementarea tabelului de ramuri obișnuia să fie comenzile „GoTo” în limbajele de compilare Fortran. Tabelele de ramuri sunt încă folosite pentru a implementa modificări în fluxul de programe în limbaje de compilare sau pentru a fi un punct de plecare pentru secvențele de instrucțiuni repetate.