computer science terms

A*
access token
accumulator
ad-hoc polymorphism
add
alphabet
anamorphism
assert
bag of words
bifurcation
bisimilar
brute force
buffer overflow
built-in type
bursty
case dependent
case insensitive
case sensitive
case-dependent
catamorphism
chatbot
closure
codebook
combinator
combinatory logic
complexity theory
composite type
computability theory
computable function
computation history
computation tree logic
concurrency
CRF
debug
decidable
declarer
decompile
decompiler
deconflict
denotation
denotational semantics
determinize
fi
flag
fork
formal grammar
halting problem
higher-order function
HMM
impure name
IMS
inclusion polymorphism
interactive
IR
kernelization
least significant byte
Levenshtein distance
lexical analysis
library
linker
loop invariant
loose coupling
machine code
mathematical semantics
MDC
memoization
modal
most significant byte
multiply
non-determinism
non-deterministic
nondeterminism
nondeterministic
OR
parametric polymorphism
partial
pathological
pattern matching
performance
persistence
polymorphism
positioning time
PRC
primitive type
pruning
pumping lemma
pure name
reap
relative address
RFI
rope
schedule
scheduler
SDLC
sentinel
software development lifecycle
software development process
space complexity
stateless
string distance
subhistory
submachine
subprocedure
subroutine
switch
synchronization domain
TDD
test-driven development
time complexity
tractable
trie
underway
white space
word