compile-time
mutable
software documentation
documentation
programmatical
Niggerian
control structure
library program
subroutine
code
prog
instrumentation
recompiler
softcode
load module
global scope
programwide
trace program
dwimmery
project evaluation review technique
imperative programming
demo
applicationwide
library
project evaluation and review technique
thrash
parser
database
foregrounding
Standard ML
foreground processing
build artifact
global
concept
execution
statically-typed language
computer programming
polyglot
issue tracking system
recursive
dumper
automatic differentiation
logic diagram
multithreaded
Wizard Book
make file
bootstrap
metacomputation
event loop
supervisory program
linkage editor
object code
supervisor
incrementor
classifier
load time
executive program
prototype-oriented programming
postprocessor
computronium
disambiguator
run time
logical diagram
loop
deinterleaver
C program
library routine
spawner
compilement
type introspection
active
quine
interpret
clean code
data division
Java
tar
monkey patch
deployment
static typing
loader
slag code
C compiler
configuration section
disassembler
dump
logic bomb
iteratee
Sather
Smalltalk
software architecture
refactorization
compartmentalization
call stack
reverse engineering
spaghetti code
stack trace
compile-time
mutable
programmatical
Niggerian
programwide
applicationwide
global
recursive
multithreaded
active
programwide
software documentation
documentation
control structure
library program
subroutine
code
prog
instrumentation
recompiler
load module
global scope
trace program
dwimmery
project evaluation review technique
imperative programming
demo
library
project evaluation and review technique
parser
database
foregrounding
foreground processing
build artifact
concept
execution
statically-typed language
computer programming
polyglot
issue tracking system
dumper
automatic differentiation
logic diagram
make file
metacomputation
event loop
supervisory program
linkage editor
object code
supervisor
incrementor
classifier
load time
executive program
prototype-oriented programming
postprocessor
computronium
disambiguator
run time
logical diagram
loop
deinterleaver
C program
library routine
spawner
compilement
type introspection
quine
clean code
data division
tar
bootstrap
deployment
static typing
loader
slag code
C compiler
configuration section
disassembler
dump
logic bomb
iteratee
software architecture
refactorization
compartmentalization
call stack
reverse engineering
spaghetti code
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
bee
Imperial Diet
as a child
taking captive
pharmaceutical industry
lacking force
widely cultivated in many varieties
labour camp
mild.
market tone
written response
a picture.
come into possession of
to bring into line.
authorities concerned
stela
A random assortment of things
Missouri
paddock
cyberbullying
complementarity
well-timed
on board.
argumentation
hang
reactor
to strew
exhaust
to recall.
unobstructed
telegraph
To disparage
beyond comparison
Very deep
hot flash
to go well
to release.
marking
a glacial lake in central New York
ago
sunscreen
to proceed
to earn
threefold
town
founding
fellowship
boasting
named for the city in Palestine.
illegal