In Proceedings of the «IV Journées Catalanes de Mathématiques Appliquées»,
(Tarragona, 11-13 February 1998; edited by C. Garcia, C. Olivé and M. Sanromà).
Departament d'Enginyeria Informàtica, Universitat Rovira i Virgili (1998), 175-192.

Abstract. Starting with an introduction to the computational problems posed by algorithms in the domain of error-correcting codes, and the description of some aspects of the experience extracted from a first try toward giving a general solution of such problems (language Ω₀ and its interpreter ω₀), the main goal of this paper is to introduce a formal grammar and a formal semantics of a substantially more advanced language, Ω, and to indicate the first steps in programming a prototype interpreter for it, ω, in the functional language Haskell.