Sökning: "dml"

Visar resultat 6 - 7 av 7 avhandlingar innehållade ordet dml.

  1. 6. Compiler generation for parallel languages from denotational specifications

    Författare :Johan Ringström; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : There exist several systems for the generation of compiler front-ends from formal semantics. Systems that generate entire compilers have also started to appear. Many of these use attribute grammars as the specification formalism, but there also are systems based on operational semantics or denotational semantics. LÄS MER

  3. 7. Modelling ice surface elevation changes in Dronning Maud Land, East Antarctica : Bridging the gap between in-situ and numerical model reconstructions

    Författare :Martim Mas e Braga; Arjen P. Stroeven; Irina Rogozhina; Jonathan M. Harbor; Clas Hättestrand; Frank Pattyn; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; ice sheet modelling; glaciology; paleoglaciology; naturgeografi; Physical Geography;

    Sammanfattning : Ice sheets are an active component of Earth's climate system. Their topography influences atmospheric circulation and changes in their volume alters freshwater fluxes to the oceans, affecting ocean water masses, atmospheric carbon uptake, and global sea level. LÄS MER