Sökning: "Agda"

Visar resultat 11 - 15 av 27 uppsatser innehållade ordet Agda.

  1. 11. Automatic refactoring for Agda

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Karin Wibergh; [2019-04-24]
    Nyckelord :Agda; dependent types; refactoring; thesis;

    Sammanfattning : The task of making changes to an existing code base to improve performance, legibility, or extensibility while preserving behaviour is important to virtually any program. Many times this involves making changes requiring a great deal of typing in various places, which is tedious and error-prone. LÄS MER

  3. 12. Hållbarhetsredovisning inom statligt ägda företag : En studie om kvalitet i hållbarhetsrapportering

    Kandidat-uppsats, Södertörns högskola/Företagsekonomi

    Författare :Charlotte Colliander; Linda Edlund; [2019]
    Nyckelord :Sustainability report; corporate social responsibility; Global Reporting Initiative; stated owned enterprises; hybrid organizations; quality accounting; qualitative content analysis; Hållbarhetsredovisning; företagens sociala ansvar; Global Reporting Initiative; statligt ägda företag; hybridorganisationer; redovisningens kvalitet; kvalitativ innehållsanalys;

    Sammanfattning : Purpose: This paper investigates how sustainability reporting differs between state-owned enterprises and if there is a difference given the quality in the information within state-owned ownership. Theory: Begins with the reporting legislation and Global Reporting Initiative. LÄS MER

  4. 13. Tillfället gör bedragaren : En kvalitativ studie om faktorer som begränsar, utvecklar och förändrar coopetitiva samarbeten inom den svenska bankbranschen

    Kandidat-uppsats, Uppsala universitet/Företagsekonomiska institutionen

    Författare :Mathias Fejes; Fabian Persson; [2019]
    Nyckelord :Coopetition; Strong Structuration Theory; Bedrägerier; Bankbranschen; Swish; BankID; Vishing; Sociala manipulation; Digitalisering; Nationellt Bedrägericentrum;

    Sammanfattning : Denna studie undersöker hur konkurrenter inom den svenska bankbranschen har samarbetat kring en akut och växande säkerhetsrisk kopplad till gemensamt ägda produkter. Med utgång i en sammankoppling av ​coopetition,​ ett begrepp för att beskriva simultan konkurrens och samarbete, och Strong Structuration Theory, en växelverkan mellan struktur och handling, visar studien hur och varför samarbetet har förändrats över tid, vilka motsättningar som existerar och hur aktörerna samarbetar med bedrägerifrågor. LÄS MER

  5. 14. ”Skandinaviens mest bisarra kriminaldrama”: En kritisk diskursanalys av hur mordet på Kim Wall konstrueras i svenska podcasts.

    Kandidat-uppsats, Högskolan i Jönköping/HLK, Medie- och kommunikationsvetenskap

    Författare :Jessica Eriksson; [2019]
    Nyckelord :Kim Wall; Peter Madsen; critical discourse analysis; podcast; gender constructions; media logic; sensationalism; Kim Wall; Peter Madsen; kritisk diskursanalys; podcast; genuskonstruktioner; medielogik; sensationalism;

    Sammanfattning : Föreliggande studie granskar hur mordet på Kim Wall konstrueras i svenska podcasts. Mediebevakningen av fallet har kritiserats för att vara spekulativ och oetisk och det är inte bara relevant, utan av största vikt att utreda huruvida den nya medieformen podcast följer i gammelmedias fotspår. LÄS MER

  7. 15. Formalizing Constructive Quantifier Elimination in Agda

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Jeremy Pope; [2018-04-04]
    Nyckelord :Agda; decidability; semantics; successor; constructive;

    Sammanfattning : In this thesis a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow [16]. The formalization is implemented and verified in the programming language/proof assistant Agda [1]. LÄS MER