Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem (Q4982054)
From MaRDI portal
scientific article; zbMATH DE number 6418428
Language | Label | Description | Also known as |
---|---|---|---|
English | Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem |
scientific article; zbMATH DE number 6418428 |
Statements
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem (English)
0 references
23 March 2015
0 references
definite descriptions
0 references
functional programming
0 references
assertions
0 references
partial and total correctness
0 references