Advanced search

Showing result 21 - 25 of 48 essays matching the above criteria.

  1. 21. Improving the Developer Experience by Implementing Syntax in the Encore Language

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Lowe Eklund; Karolina Nikamo; Casper Strömberg; [2017]
    Keywords : ;

    Abstract : Good concurrent software is a necessity today, as concurrent architectures have become commonplace. Consequently, a good programming experience in languages designed for concurrency becomes essential. This project provides the design and implementation of a set of features in the Encore programming language, which is designed for concurrency. READ MORE

  3. 22. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Erik Reimers; [2017]
    Keywords : Scala; LaCasa; flow-sensitive; aliasing;

    Abstract : Aliasing is a potential source of problems in software development and can, for example,lead to data races in concurrent programs. More recent programming languages includealiasing control in order to catch more errors at compile time. However, this does notexist for most widely-used languages.LaCasa introduces aliasing control to Scala. READ MORE

  4. 23. Fast and Scalable Static Analysis using Deterministic Concurrency

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Patrik Ackland; [2017]
    Keywords : concurrent static analysis; ifds algorithm; reactive async;

    Abstract : This thesis presents an algorithm for solving a subset of static analysis data flow problems known as Interprocedural Finite Distribute Subset problems. The algorithm, called IFDS-RA, is an implementation of the IFDS algorithm which is an algorithm for solving such problems. READ MORE

  5. 24. Exceptional Actors Implementing Exception Handling for Encore

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Sahand Shamal Taher; [2017]
    Keywords : ;

    Abstract : Encore is an object-oriented programming language which uses the acto rmodel as its concurrency model, and is specifically aimed atimplementing concurrent and parallel systems. Communication between actors is done via asynchronous method calls, which store their results in futures, placeholder objects for later storing the result of a computation. READ MORE

  6. 25. Finding Patterns in Lock-Free Algorithms

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Christian Tönqvist; [2017]
    Keywords : ;

    Abstract : Lock-free algorithms are an approach to concurrent programming wherethreads access shared state without mutual exclusion. Writing correctcomplex lock-free programs can come with great difficulties. The typesystem Capable aims to aid the programmer in writing concurrentsoftware, such as lock-free algorithms. READ MORE