Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

réduction d'ordre normal

normal order reduction

informatique et traitement des données - acta.es

▷

Draft submitted to ppdp’13 deriving the full-reducing krivine machine from the small-step operational semantics of normal order ∗We derive by program transformation Pierre Crégut’s full-reducing Krivine machine KN from the structural operational semantics of the normal order reduction strategy in a closure-converted pure lambda calculus....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Deriving the full-reducing krivine machine from the small-step operational semantics of normal orderWe derive by program transformation Pierre Crégut s full-reducing Krivine machine KN from the structural operational semantics of the normal order reduction strategy in a closure-converted pure lambda calculus....

PDF: oa.upm.es

A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations... We use a small-step operational semantics in form of a single-step rewriting system that defines a (nondeterministic) normal order reduction....

PDF: citeseerx.ist.psu.edu