Similar to ギルモアのアルゴリズム

Abstract interpretation

Assertion (software development)

Billiard-ball computer

Invariant (computer science)

Semantics (computer science)

Unifying Theories of Programming

Process calculus

Petri net

Hoare logic

Semi-Thue system

Model checking

Mondex

Finite-state machine

Unification (computer science)

Loop invariant

Safety-critical system

Brotli

Chord (peer-to-peer)

Deflate

DSSP (algorithm)

Generalized minimal residual method

Heap's algorithm

In-place algorithm

Page replacement algorithm#Least recently used

Lempel–Ziv–Storer–Szymanski

LZ77

MUSIC (algorithm)