SISSIS (semantics implementation system, 1972–1979) used partial evaluation to run programs according to their denotational semantics.