Abstract
Ada Gem #31 --- The notion of preconditions and postconditions is an old one. A precondition is a condition that must be true before a section of code is executed, and a postcondition is a condition that must be true after the section of code is executed.
Index Terms
Gem #31: preconditions/postconditions
Recommendations
Gem #56: creating Ada to Java calls using GNAT-AJIS
In a previous Gem we introduced ada2java, which maps an Ada specification to a Java specification, to support calls from Java to Ada. Even though ada2java doesn't support creating Ada bindings of Java specs, it's still possible to use it to support ...
Gem #59: generating Ada bindings for C headers
One of the delicate areas of Ada that is often unfamiliar to developers is how to intermix Ada code with other programming languages. While Ada provides very powerful and complete capabilities to interface with other compiled languages such as C, C++, ...
A (48, 31, 8) linear code (Corresp.)
In this paper we construct a linear code having length 48, minimum distance 8, and containing 2^{31} codewords. This code is obtained by augmenting a (48,22,8) linear code with 2^9 - 1 cosets so that the minimum distance is not reduced. The (48,22,8) ...






Comments