performability
identity
static typing
fidelity
affine arithmetic
pseudorationalism
operation
reverse engineering
evaluation
dynamic typing
propositional constant
lambda calculus
monitoring program
monitor program
backcalculation
isoperformance
call-by-name
linearization
state
model
tautology
typechecking
totality of the circumstances
factualism
cofunction
short circuit operator
Schwarzian derivative
autonomy
Schwarzian
symmetric function
verifiability principle
syllogistic
Boolean algebra
data path
negative feedback
switch
proof
evaluand
code review
analytics
declarative programming
guard
order of operations
pre-increment
automatic differentiation
validation
functional requirement
brute force
parameter
function table