Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Tobias Wrigstad 39 träffar

Titel Författare År Språk
1 Run, Actor, Run - Towards Cross-Actor Language Benchmarking 2019 October 22 - 22 Greece Athens and Decentralized Control Agents 9th ACM SIGPLAN International Workshop on Programming Based on Actors Sebastian Blessing 2019 Engelska
2 Mining for Safety using Interactive Trace Analysis Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL) Stephan Brandauer 2017 Engelska
3 Spencer - Interactive Heap Analysis for the Masses International Conference on Mining Software Repositories Stephan Brandauer 2017 Engelska
4 Structured Data Stephan Brandauer 2018 Engelska
5 Artificial Software Diversification for WebAssembly Javier Cabrera Arteaga 2022 Engelska
6 Actors without Borders - Amnesty for Imprisoned State Programming Language Approaches to Concurrency- and Communication-cEntric Software Elias Castegren 2017 Engelska
7 Capability-Based Type Systems for Concurrency Control Elias Castegren 2018 Engelska
8 Kappa - Insights, Current Status and Future Work IWACO Elias Castegren 2016 Engelska
9 LOLCAT - Relaxed Linear References for Lock-free Programming Elias Castegren 2016 Engelska
10 OOlong - An Extensible Concurrent Object Calculus 2018 (SAC 2018) April 9–13 France Pau Proceedings of SAC 2018: Symposium on Applied Computing Elias Castegren 2018 Engelska
11 Reference Capabilities for Concurrency & Scalability - an Experience Report And Applications Systems OCAP: Object-Capability Languages Elias Castegren 2017 Engelska
12 Reference Capabilities for Concurrency Control Italy Rome July 17–22 ECOOP 2016 Elias Castegren 2016 Engelska
13 Reference Capabilities for Trait Based Reuse and Concurrency Control Elias Castegren 2016 Engelska
14 Relaxed Linear References for Lock-free Data Structures European Conference on Object-Oriented Programming (ECOOP) Elias Castegren 2017 Engelska
15 Types for CAS: Relaxed Linearity with Ownership Transfer Denmark Rold StorKro (North Jutland) 28th Nordic Workshop on Programming Theory (NWPT'16) 31 October - 2 November 2016 Elias Castegren 2016 Engelska
16 Aliasing in Object-Oriented Programming. Types, Analysis and Verification Dave. Clarke 2013 Engelska
17 Aliasing in Object-Oriented Programming. Types, Analysis and Verification David Clarke 2013 Okänt
18 Godot - All the Benefits of Implicit and Explicit Futures 15-19 july 2019 UK London 33rd European Conference on Object-Oriented Programming (ECOOP 2019) Kiko Fernandez-Reyes 2019 Engelska
19 Abstractions to Control the Future Francisco Ramón Fernández Reyes 2021 Engelska
20 Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations Capabilities and Ownership (IWACO) International Workshop on Aliasing Juliana Franco 2016 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.