n strategies, rewriting modulo standard
equational theories (associative, commutative, etc.), and selective
memoization. </p>

<p> All recent OBJ languages provide parameterized programming, with
parameterized modules, module instantiation, views, module
expressions, etc., to support very flexible program structuring and
reuse. </p>

<p> OBJ3 is based on order sorted equational logic, and has been
successfully used for research and teaching in software design and
specification, rapid prototyping, theorem pr