|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 10 van 10 gevonden artikelen
| Titel: |
Semantics of Lazy Evaluation using the Two-Level Grammar |
| Auteur: |
Mahmoud A. AbouGhaly Sameh S. Daoud Azza A. Taha Salwa M. Aly |
| Verschenen in: |
Journal of computer science |
| Paginering: | Jaargang 4 (2008) nr. 1 pagina's 21-29 |
| Jaar: |
2008 |
| Inhoud: |
We have formalized the semantics of lazy evaluation for the lambda calculus using the twolevel grammar formalism. The resulting semantics enjoys several properties, e.g., there is a sharing in the recursive computation, there is no conversion, the heap is automatically reclaimed, an attempt to evaluate an argument is done at most once and there is a sharing in the evaluation of partial application to functions. |
| Uitgever: |
Science Publications (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 10 van 10 gevonden artikelen
| << vorige |