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
∙
02/19/2020
Holistic Specifications for Robust Programs
Functional specifications describe what program components do: the suffi...
research
∙
04/13/2019
Flint for Safer Smart Contracts
The Ethereum blockchain platform supports the execution of decentralised...
research
∙
01/23/2019
