research
∙
09/06/2023
Reference Capabilities for Flexible Memory Management: Extended Version
Verona is a concurrent object-oriented programming language that organis...
share
research
∙
09/17/2022
Necessity Specifications for Robustness
Robust modules guarantee to do only what they are supposed to do - even ...
research
∙
05/02/2022
Rusty Links in Local Chains
Rust successfully applies ownership types to control memory allocation. ...
research
∙
05/02/2022
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
Formal methods for software correctness are critical to the future of so...
research
∙
09/15/2021
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-r...
research
∙
02/19/2020
Holistic Specifications for Robust Programs
Functional specifications describe what program components do: the suffi...
research
∙
09/12/2019
Which of My Transient Type Checks Are Not (Almost) Free?
One form of type checking used in gradually typed language is transient ...
research
∙
09/03/2019
Towards Gradual Checking of Reference Capabilities
Concurrent and parallel programming is difficult due to the presence of ...
research
∙
07/10/2019
CallE: An Effect System for Method Calls
Effect systems are used to statically reason about the effects an expres...
research
∙
07/02/2018
