TEST 20

matricola: ______________________________

nome (solo se non si ricorda la matricola): __________________________________



Cosa si intende per Sematica Operazionale Small Step? e Big Step?









Mostrare la sistuazione dei frame al termine della valutazione di una a scelta delle seguenti espressioni Scheme
                (  ((lambda (x) x) (lambda (x) x))  (lambda (x) x) )

                           (let ((f (lambda (x) (+ x 1))))
                                                   ((lambda (y) y) (f 2)))









Define a Scheme Function  CreateSumToFrom which takes as input a unary function on integers and returns the binary function that takes two numbers n and m, with n<=m, and returns f(n)+f(n+1)+...f(m).