Tagged Questions
1
vote
3answers
87 views
Expressing semantics of an array as a function
An assignment questions asks the following:
Consider an array 'var a : array[1..10] of real'. Express the
semantics of this array as a function, defining the domain and
codomain (you might ...
2
votes
2answers
166 views
Equality testing of arrays and integers in a procedural language
In terms of references and their implementation on the heap and the stack, how is
equality testing for arrays different from that for integers?
This is to do with Java programming, if you have a ...
9
votes
1answer
198 views
How to deal with arrays during Hoare-style correctness proofs
In the discussion around this question, Gilles mentions correctly that any correctness proof of an algorithm that uses arrays has to prove that there are no out-of-bounds array accesses; depending on ...
