the binary and ternary codes spanned by the rows of the point by block incidence matrices of some 2-designs and their complementary and orthogonal designs are studied. a new method is also introduced to study optimal codes.

In this paper, our aim is to propose a model for code abstraction, based on abstract interpretation, allowing us improve the precision of recently proposed static analysis by interpretation dynamic languages. The problem we tackle here that may add some spurious string-to-execute value and need representations in order make it analyzable. This precisely what here, where drive abstraction have p...

Given a suitable extension $ F'/F of algebraic function fields over finite field \mathbb{F}_q $, we introduce the conorm code \operatorname{Con}_{F'/F}( \mathcal{C}) defined F' which is constructed from an geometry \mathcal{C} F $. We study parameters in terms ramification behavior places used to define and genus In case unramified extensions prove that \mathcal{C})^\perp = \mathcal{C}^\perp) w...