Sökning: "Object Calculi"

Hittade 1 avhandling innehållade orden Object Calculi.

  1. 1. Capability-Based Type Systems for Concurrency Control

    Författare :Elias Castegren; Tobias Wrigstad; Dave Clarke; Alan Mycroft; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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