Eager, Lazy, and Other Executions for Predicative Programming
Many programs are executed according to the conventional, eager execution order, for which verification of execution costs is well-understood. However, there are other execution orders in use. One such order in common use is lazy execution or lazy evaluation, which is mostly demand-driven. Laziness...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_ca |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1807/35872 |