Sökning: "mutable state"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden mutable state.

  1. 1. Structured Data

    Författare :Stephan Brandauer; Tobias Wrigstad; Doug Lea; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Aliasing; mutable state; imperative; programming; programming languages.; Computer Science; Datavetenskap;

    Sammanfattning : References are a programming language construct that lets a programmer access a datum invariant of its location.References permit aliasing -- several references to the same object, effectively making a single object accessible through different names (or paths). LÄS MER

  3. 2. Fattigdomens besvärjelser : visionära ideal och vardagliga realiteter i socialt arbete

    Författare :Karin Salomonsson; Institutionen för kulturvetenskaper; []
    Nyckelord :HUMANIORA; HUMANITIES; doing the discoursing ; Cultural anthropology; Gender-performances; the State; Social welfare; Modernity; Cultural meanings; History as narrative; Professional identity; Cultural construction; Social work; etnologi; ethnology; Kulturantropologi; Space Place;

    Sammanfattning : The theme of this dissertation is how changing claims as to what is proper and true social work have been formulated and staged in the twentieth century. From the perspective of cultural analysis I seek to discuss how social work has been formed and changed over a century. LÄS MER

  4. 3. Ownership-Based Alias Managemant

    Författare :Tobias Wrigstad; Love Ekenberg; Arnd Poetzsch-Heffter; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Object-oriented programming relies on sharing and the mutable states of objects for common data structures, patterns and programming idioms. Sharing and mutable state is a powerful but dangerous combination. LÄS MER

  5. 4. Abstractions to Control the Future

    Författare :Francisco Ramón Fernández Reyes; Tobias Wrigstad; Björn Victor; Martin Steffen; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; concurrent; programming; type system; future; actors; active objects; Computer Science; Datavetenskap;

    Sammanfattning : Multicore and manycore computers are the norm nowadays, and users have expectations that their programs can do multiple things concurrently. To support that, developers use concur- rency abstractions such as threads, promises, futures, and/or channels to exchange information. LÄS MER

  7. 5. Verifying Information Flow Control Libraries

    Författare :Marco Vassena; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. Intuitively, IFC sys- tems associate data with security labels that track and restrict flows of information throughout a program in order to enforce security. LÄS MER