Programming language theory

ability of a computing system to simulate Turing machines

branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features

additional effect of a function in a procedural programming language besides returning a value

error in the syntax of a sequence of characters

property of a computer software expression or subroutine that replacing it in the code with its evaluated result does not change the program's behavior

theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration

programming language feature that allows manipulating functions like other values

a bug in a program that causes it to operate incorrectly, but not to terminate abnormally

programming paradigm

syntactic structure independent of any particular representation or encoding

in programming language theory, a variable that is not defined in the local scope