Array zipping

Zipping the contents of two given arrays `a` and `b` of equal length into an array of length `|a| + |b|`. This is also the answer to question 4 of the FMSE exam on April 16, 2015 (University of Twente). Also some other verification examples are added (such as shifting elements of the array to the left/right).

General information

ID2
Articlenone
Back-endSilicon
LanguageJava
FeaturesArrays, Iteration contracts, Loop parallelisations
Sources
Path to example filearrays/JavaArrayExamples.java
Date2017-06-12

Statistical information

Lines of code109 lines (comments not included)
Lines of specification35 lines (32.11% of the total)
Computation time61485 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.