Sąrašas, kuris identifikuoja kiekvieną kintamieji, etikečių ir kitų identifikatorių į kompiuterinę programą ir parodo, kurie teiginiai programoje apibrėžti, nustatyti, ar naudoti kiekvienas.