Prospects for Functional Programming in Software Engineering

abstract interpretation abstract machine allocation analysis applied argument C₁ call-by-value CEDAR cell chapter compilation complexity computation cond correctness data structures defined definition denotational semantics described disk domain e₁ e2 else e3 elements example execution firstoc formal from_disk functional framework functional languages functional programming fve bve st ƒve garbage collection head(I identifier imperative languages imperative program implementation input integer keyboard lambda calculus lambda expressions lazy evaluation least fixed point length length(y letrec LISP loc₁ loop machine merge messages Métayer myid null null(l operating system operational semantics optimization output pattern problem Proc program transformation programming environment programming language proof purely functional reference counting referential transparency representing result rules Sa₁ SECD machine sequence sharing side-effects size(n st free st₁ stack stream tail recursion tail(I to_disk transformation techniques unshared update variables Wadler