×

zbMATH — the first resource for mathematics

The theory and practice of transforming call-by-need into call-by-value. (English) Zbl 0435.68015
Int. Symp. Programming, Proc., Paris 1980, Lect. Notes Comput. Sci. 83, 269-281 (1980).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68N01 General topics in the theory of software