… LML is a strongly typed, statically scoped functional Language with Lazy evaluation. It is compiled trough a number of program transformations which makes the code generation easier. Code is generated in two steps, first code …
lfp 1984: 218-227 [doi]… about symbolically. Lazy symbolic evaluation as proposed in this paper introduces a lazy evaluation strategy into traditional symbolic execution in order to address the issue. Constraint variables in path constraints generated by lazy symbolic …
ICSE 2009: 79-87 [doi]… . To address the problem, this study proposes a technique called lazy symbolic execution, which combines symbolic execution with a lazy evaluation strategy …. Traditional symbolic execution can cope with the former well, whereas lazy symbolic …
iee, 5(2):132-141, 2011. [doi]… style but is challenging in the context of lazy evaluation. A first challenge concerns language designers: in lazy ML, the evaluation order of expressions follows … compilation algorithm cannot be incorporated in an actual lazy ML compiler …
Research Report RR-2385, 1994.