BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
reduct (2)
revisit (1)
evalu (1)
unfold (1)
simpl (1)

Stem leftmost$ (all stems)

5 papers:

RTARTA-2015-HirokawaMM #revisited
Leftmost Outermost Revisited (NH, AM, GM), pp. 209–222.
LATALATA-2007-BordihnV #on the
On leftmost derivations in CD grammar systems (HB, GV), pp. 187–198.
LOPSTRLOPSTR-2005-AlbertPG #logic programming #partial evaluation #source code
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.
RTARTA-1995-Kuper #proving #reduction
Proving the Genericity Lemma by Leftmost Reduction is Simple (JK), pp. 271–278.
ICGTGG-1978-Staples #reduction #λ-calculus
A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal (JS), pp. 440–455.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.