Showing papers by "R. Nigel Horspool published in 1987"

TL;DR: The conditions necessary for a prepaging policy to possess the memory inclusion property are examined and cost analysis techniques are developed that are fairer and more detailed than those that have been used to report the performances of prepaging policies in the past.

TL;DR: Ruzicka has developed an alternative approach to ensuring correctness of an operator-precedence parser that is to first construct the parser and then to verify that the language accepted by the parser is the same language.