Sökning: "Agda"

Visar resultat 1 - 5 av 16 uppsatser innehållade ordet Agda.

  1. 1. 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 anyprogram. Many times this involves making changes requiring a great deal of typingin various places, which is tedious and error-prone. LÄS MER

  2. 2. 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; 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

  3. 3. ”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

  4. 4. 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 implementedand verified in the programming language/proof assistant Agda [1]. LÄS MER

  5. 5. A Logical Relation for Dependent Type Theory Formalized in Agda

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

    Författare :Joakim Öhman; [2017-02-27]
    Nyckelord :type theory; dependent types; logical relation; Agda; formalization;

    Sammanfattning : When writing proofs, it is desirable to show that one’s proof is correct. Withformalising a proof in dependent type theory, it is implied that the proof is correctas long as the type theory is correct. LÄS MER