A two-valued logic for properties of strict functional programs allowing partial functions (Q352946)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A two-valued logic for properties of strict functional programs allowing partial functions |
scientific article |
Statements
A two-valued logic for properties of strict functional programs allowing partial functions (English)
0 references
5 July 2013
0 references
verification
0 references
functional programming
0 references
logics
0 references
semantics
0 references
contextual equivalence
0 references
