2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/141385Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori admissible programs, and that, moreover, may use only a subset of the language. These subsets are determined by a collection of so-called coding rules.Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)Programming LanguagesSoftware EngineeringD.2.6; D.1.6text