Category
page 11970 in computing
Unix time
system for identifying instants in time; the number of seconds that have elapsed since the UTC midnight before 1 January 1970, ignoring leap seconds
Knuth–Morris–Pratt algorithm
string searching algorithm
Bloom filter
hashing-based data structure for maintaining a set of items in limited memory, allowing false positives but no false negatives
denotational semantics
approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages