Záznam zdrojové výrazy a pobočka výsledky, ktoré sa vyskytujú pri počítačový program je vykonaný pomocou symbolický, skôr ako skutočné, hodnoty pre vstupné údaje.