A categorical model for higher order imperative programming (Q4236215)
From MaRDI portal
scientific article; zbMATH DE number 1268688
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A categorical model for higher order imperative programming |
scientific article; zbMATH DE number 1268688 |
Statements
A categorical model for higher order imperative programming (English)
0 references
22 March 1999
0 references
higher-order imperative programs
0 references
pre-post specifications
0 references
