compile-time
mutable
documentation
software documentation
programmatical
Niggerian
control structure
library program
subroutine
prog
code
instrumentation
recompiler
softcode
global scope
load module
programwide
trace program
dwimmery
library
imperative programming
project evaluation and review technique
thrash
applicationwide
demo
parser
project evaluation review technique
database
build artifact
Standard ML
foreground processing
foregrounding
concept
global
execution
computer programming
statically-typed language
issue tracking system
multithreaded
automatic differentiation
logic diagram
dumper
polyglot
recursive
Wizard Book
make file
supervisory program
object code
linkage editor
executive program
supervisor
load time
event loop
classifier
bootstrap
metacomputation
incrementor
disambiguator
prototype-oriented programming
postprocessor
run time
computronium
logical diagram
type introspection
spawner
library routine
deinterleaver
compilement
loop
C program
clean code
interpret
quine
tar
monkey patch
active
data division
Java
Sather
loader
configuration section
deployment
dump
logic bomb
refactorization
Smalltalk
C compiler
slag code
software architecture
static typing
iteratee
disassembler
reverse engineering
spaghetti code
compartmentalization
call stack
stack trace
compile-time
mutable
programmatical
Niggerian
programwide
applicationwide
global
multithreaded
recursive
active
programwide
documentation
software documentation
control structure
library program
subroutine
prog
code
instrumentation
recompiler
global scope
load module
trace program
dwimmery
library
imperative programming
project evaluation and review technique
demo
parser
project evaluation review technique
database
build artifact
foreground processing
foregrounding
concept
execution
computer programming
statically-typed language
issue tracking system
automatic differentiation
logic diagram
dumper
polyglot
make file
supervisory program
object code
linkage editor
executive program
supervisor
load time
event loop
classifier
metacomputation
incrementor
disambiguator
prototype-oriented programming
postprocessor
run time
computronium
logical diagram
type introspection
spawner
library routine
deinterleaver
compilement
loop
C program
clean code
quine
tar
data division
bootstrap
loader
configuration section
deployment
dump
logic bomb
refactorization
C compiler
slag code
software architecture
static typing
iteratee
disassembler
reverse engineering
spaghetti code
compartmentalization
call stack
stack trace
softcode
thrash
bootstrap
interpret
monkey patch
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
tadpole
Inclined to sleep
to switch off
mean-spirited
to forfeit
drinking fountain
holdover
stenographer
singlehanded
missing part
selfish.
next door but one
hoop
In a fortuitous manner
duly
hackneyed.
strategic materials
To wind
cacoxenite
crispy
Most inferior
allowable.
heddle
blanching
Free Trade Agreement
being unmarried
to meet halfway
to ladle
TFT
otolaryngology
objectification
invasive
Obvious
courageously
passive voice
abreast.
having no choice
fluorescent
return gift
STD
tangled
to tear up
duct
if you like
slit
unpaid
to be satisfied
equal to 100 cents
genius
pretext