J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is an American computer scientist. He is a co-developer of...

string-search literature. It was developed by Robert S. Boyer and J Strother Moore in 1977. The original paper contained static tables for computing the...

constant number of words of memory. It is named after Robert S. Boyer and J Strother Moore, who published it in 1981, and is a prototypical example of a streaming...

software." ACL2 has had numerous industrial applications. In 1995, J Strother Moore, Matt Kaufmann and Tom Lynch used ACL2 to prove the correctness of...

structures such as a gap buffer. This data structure was invented by J Strother Moore. For this description, we use buffer as the immutable block to hold...

consultant Strother Martin (1919–1980), American actor Strother M. Stockslager (1842–1930), U.S. Representative from Indiana J Strother Moore, American...

and J Strother Moore invented the Boyer–Moore string-search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore also...

referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2. The system was developed by Robert S. Boyer and J Strother Moore, professors of computer...

Louis Monier (at PARC 1983–1989), founded AltaVista search engine J Strother Moore (at PARC 1973-1976), text editing, Interlisp VM, string searching,...

Teitelman et al., Interlisp Reference Manual (Xerox tech report, 1974) J Strother Moore, The Interlisp Virtual Machine Specification (Xerox tech report, 1976)...