Journal of logical and algebraic methods in programming