Avancerad sökning

Visar resultat 1 - 5 av 7 avhandlingar som matchar ovanstående sökkriterier.

1. 1. 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

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

4. 3. Artificial Software Diversification for WebAssembly

   Författare :Javier Cabrera Arteaga; Benoit Baudry; Martin Monperrus; Tobias Wrigstad; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; WebAssembly; LLVM; Software Diversity; Automatic Software Engineering; Security; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : WebAssembly has become the fourth official web language, along with HTML, CSS and JavaScript since 2019. WebAssembly allows web browsers to execute existing programs or libraries written in other languages, such as C/C++ and Rust. In addition, WebAssembly evolves to be part of edge-cloud computing platforms. LÄS MER

5. 4. Capability-Based Type Systems for Concurrency Control

   Författare :Elias Castegren; Tobias Wrigstad; Dave Clarke; Alan Mycroft; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Type Systems; Capabilities; Concurrency; Parallelism; Data-Race Freedom; Lock-Free Data Structures; Object-Oriented Programming; Actors; Active Objects; Object Calculi; Semantics;

   Sammanfattning : Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware vendors have had to turn to multi-core computers. Today, parallel hardware is everywhere, from massive server halls to the phones in our pockets. However, this parallelism does not come for free. LÄS MER

7. 5. 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