All Questions
Tagged with programming-languages algorithms
3
questions
9
votes
10
answers
87k
views
Computer Program vs. Algorithm
It's said that a program include algorithms, however if we refer to their definition, an algorithm is a sequence of instructions written to perform a specified task and
a computer program is also a ...
- 449
8
votes
1
answer
6k
views
Complete examples of program correctness proofs
Does anyone have any complete example of a proof of program correctness? I'm talking about something that includes the usual predicate, base case, inductive hypothesis, and inductive step. But also ...
- 119
-1
votes
1
answer
202
views
Implementability of a (abstract) data structure/type? [closed]
Do people consider the implementability of a (abstract) data
structure or a data type, just like people do for
implementability/computability of an algorithm? By implementability, I mean if a (...
- 4,895