A language-based approach to functionally correct imperative programming (Q2936790)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A language-based approach to functionally correct imperative programming |
scientific article |
Statements
A language-based approach to functionally correct imperative programming (English)
0 references
6 January 2015
0 references
RSP
0 references
RSP1
0 references
dependent types
0 references
program verification
0 references
