[PDF][PDF] Dependent Types for Class-based Mutable Objects
J Campos, VT Vasconcelos - 32nd European Conference on …, 2018 - drops.dagstuhl.de
We present an imperative object-oriented language featuring a dependent type system
designed to support class-based programming and inheritance. Programmers implement …
designed to support class-based programming and inheritance. Programmers implement …
[PDF][PDF] Excerpts From: Rusty Types for Solid Safety
S Benitez - cs140e.sergio.bz
Programs operating “close to the metal” necessarily handle memory directly. Because of
this, they must be written in languages like C or C++. These languages lack any kind of …
this, they must be written in languages like C or C++. These languages lack any kind of …
Adding dependent types to class-based mutable objects
JC Campos - 2018 - repositorio.ul.pt
In this thesis, we present an imperative object-oriented language featuring a dependent type
system designed to support class-based programming and inheritance. The system brings …
system designed to support class-based programming and inheritance. The system brings …
Heap-based reasoning about asynchronous programs
J Kloos - 2018 - kluedo.ub.rptu.de
Asynchronous concurrency is a wide-spread way of writing programs that deal with many
short tasks. It is the programming model behind event-driven concurrency, as exemplified by …
short tasks. It is the programming model behind event-driven concurrency, as exemplified by …