ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Higher-order and symbolic computation 7 (1994), S. 57-81 
    ISSN: 1573-0557
    Schlagwort(e): Call-by-need ; Continuation-passing Style ; Continuations ; Lazy Evaluation ; Functional Programming
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract This paper examines the transformation of call-by-need λ terms into continuation-passing style (CPS). It begins by presenting a simple transformation of call-by-need λ terms into program graphs and a reducer for such graphs. From this, an informal derivation is carried out, resulting in a translation from λ terms into self-reducing program graphs, where the graphs are represented as CPS terms involving storage operations. Though informal, the derivation proceeds in simple steps, and the resulting translation is taken to be our canonical CPS transformation for call-by-need λ terms. In order to define the CPS transformation more formally, two alternative presentations are given. The first takes the form of a continuation semantics for the call-by-need language. The second presentation follows Danvy and Hatcliff's two-stage decomposition of the call-by-name CPS transformation, resulting in a similar two-stage CPS transformation for call-by-need. Finally, a number of practical matters are considered, including an improvement to eliminate the so-called administrative redexes, as well as to avoid unnecessary memoization and take advantage of strictness information. These improvements make it feasible to consider potential applications in compilers for call-by-need programming languages.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Publikationsdatum: 2022-05-26
    Beschreibung: © The Author(s), 2011. This is an open-access article subject to a non-exclusive license between the authors and Frontiers Media SA, which permits use, distribution and reproduction in other forums. The definitive version was published in Frontiers in Microbiology 2 (2011): 160, doi:10.3389/fmicb.2011.00160.
    Beschreibung: The Ross Sea is home to some of the largest phytoplankton blooms in the Southern Ocean. Primary production in this system has previously been shown to be iron limited in the summer and periodically iron and vitamin B12 colimited. In this study, we examined trace metal limitation of biological activity in the Ross Sea in the austral spring and considered possible implications for vitamin B12 nutrition. Bottle incubation experiments demonstrated that iron limited phytoplankton growth in the austral spring while B12, cobalt, and zinc did not. This is the first demonstration of iron limitation in a Phaeocystis antarctica-dominated, early season Ross Sea phytoplankton community. The lack of B12 limitation in this location is consistent with previous Ross Sea studies in the austral summer, wherein vitamin additions did not stimulate P. antarctica growth and B12 was limiting only when bacterial abundance was low. Bottle incubation experiments and a bacterial regrowth experiment also revealed that iron addition directly enhanced bacterial growth. B12 uptake measurements in natural water samples and in an iron fertilized bottle incubation demonstrated that bacteria serve not only as a source for vitamin B12, but also as a significant sink, and that iron additions enhanced B12 uptake rates in phytoplankton but not bacteria. Additionally, vitamin uptake rates did not become saturated upon the addition of up to 95 pM B12. A rapid B12 uptake rate was observed after 13 min, which then decreased to a slower constant uptake rate over the next 52 h. Results from this study highlight the importance of iron availability in limiting early season Ross Sea phytoplankton growth and suggest that rates of vitamin B12 production and consumption may be impacted by iron availability.
    Beschreibung: This research was supported by NSF grants OCE-0752291, OPP-0440840, OPP-0338097, OPP-0338164, ANT-0732665, OCE-0452883, and OCE-1031271, the Center for Microbial Oceanography Research and Education (CMORE) and a National Science Foundation (NSF) Graduate Research Fellowship (2007037200) and an Environmental Protection Agency STAR Fellowship to EMB (F6E20324).
    Schlagwort(e): Iron limitation ; Vitamin B12 ; Ross Sea ; Colimitation ; Bacteria ; Phytoplankton ; Iron fertilization
    Repository-Name: Woods Hole Open Access Server
    Materialart: Article
    Format: application/pdf
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...