compile-time
mutable
documentation
software documentation
programmatical
Niggerian
control structure
library program
prog
code
subroutine
instrumentation
softcode
recompiler
programwide
load module
global scope
trace program
dwimmery
imperative programming
thrash
demo
library
project evaluation and review technique
project evaluation review technique
applicationwide
parser
database
Standard ML
foregrounding
foreground processing
build artifact
computer programming
statically-typed language
global
concept
execution
polyglot
recursive
dumper
issue tracking system
logic diagram
multithreaded
automatic differentiation
Wizard Book
make file
event loop
metacomputation
supervisor
linkage editor
bootstrap
executive program
object code
supervisory program
load time
classifier
incrementor
logical diagram
prototype-oriented programming
postprocessor
computronium
run time
disambiguator
C program
loop
type introspection
deinterleaver
library routine
spawner
compilement
monkey patch
clean code
Java
quine
tar
data division
interpret
active
slag code
configuration section
deployment
disassembler
static typing
iteratee
C compiler
dump
Sather
loader
logic bomb
Smalltalk
software architecture
refactorization
call stack
spaghetti code
stack trace
compartmentalization
reverse engineering
compile-time
mutable
programmatical
Niggerian
programwide
applicationwide
global
recursive
multithreaded
active
programwide
documentation
software documentation
control structure
library program
prog
code
subroutine
instrumentation
recompiler
load module
global scope
trace program
dwimmery
imperative programming
demo
library
project evaluation and review technique
project evaluation review technique
parser
database
foregrounding
foreground processing
build artifact
computer programming
statically-typed language
concept
execution
polyglot
dumper
issue tracking system
logic diagram
automatic differentiation
make file
event loop
metacomputation
supervisor
linkage editor
executive program
object code
supervisory program
load time
classifier
incrementor
logical diagram
prototype-oriented programming
postprocessor
computronium
run time
disambiguator
C program
loop
type introspection
deinterleaver
library routine
spawner
compilement
clean code
quine
tar
data division
bootstrap
slag code
configuration section
deployment
disassembler
static typing
iteratee
C compiler
dump
loader
logic bomb
software architecture
refactorization
call stack
spaghetti code
stack trace
compartmentalization
reverse engineering
softcode
thrash
bootstrap
monkey patch
interpret
English words for 'Properties of the program that can be reasoned about during compilation.'
As you may have noticed, above you will find words for "Properties of the program that can be reasoned about during compilation.". Hover the mouse over the word you'd like to know more about to view its definition. Click 
to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.
Recent Queries
to give one's all
father-to-be
fretful.
second advent
in opposition to
certification examination
mortification.
air pipe
hum (e.g. motor)
unrobed.
the gist.
vapor-phase epitaxy
louse
wet dream
fishing gear
A book of liturgical responses
to indicate.
thuggish
very similar to fining at Cambridge University.
cause is unknown
rabbit
double-edged eyelid
servile flattery
paper cutter
post station
hostilities
accordion pleats
clod
to be moist
snare
to stretch out
to dilute
grapevine
government agency
virtuous person
exceeding
viewing
Rough
pleasure.
weighing
impulse
wizard
sudden change
to stoop
common sense
vomit
shady
banquet
typical
revolution