Program execution is not sufficiently reflected in the defi-nition of ordinary syntactic programming languages with formal grammar, even though actual or mental execution is referenced during reading (tracking) and verifying. Ad-vanced programming language definitions are associated with input/output variables, domains, and functions that can be calculated with each program.