K7PL

A.7. Contraintes de valeur et preuves résiduelles🔗

Tableau 28 :

Codes émis lorsqu'une contrainte de valeur reste indécidée

Code

Déclencheur et correction

ERR-SMT-001

Intervalle du témoin contredisant les contraintes inférées.

ERR-SMT-002

invariant ou witness invalidé par un test de falsification.

ERR-DPL-001

Transformation pure manquante entre l'ancien et le nouveau schéma lors d'un hot-reload.

ERR-PKG-003

Preuve SMT d'un paquet invalidée à la re-vérification locale.

ERR-CMP-002

Incompatibilité de débit producteur/consommateur sans stratégie d'ajustement.

ERR-TYP-005

Singularité non gérée : la division renvoie Result<Float64, Singularity>, exigeant un filtrage exhaustif en couche 2.

ERR-SLC-001

Requête de tranche invalide.

ERR-ROW-001

Conflit de rangée.

ERR-FLD-001

Conflit de présence de champ.

Références
  1. BECKER, Brett A.; DENNY, Paul; PETTIT, Raymond; BOUCHARD, Durell; BOUVIER, Dennis J.; HARRINGTON, Brian; KAMIL, Amir; KARKARE, Amey; MCDONALD, Chris; OSERA, Peter-Michael; PEARCE, Janice L.; PRATHER, James. Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research. In: Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education [en ligne]. Aberdeen Scotland Uk: ACM, 2019, p. 177–210 [visité le 2026-08-19]. Disp. à l’adr. DOI: 10.1145/3344429.3372508
  2. DENNY, Paul; PRATHER, James; BECKER, Brett A. Error Message Readability and Novice Debugging Performance. In: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education [en ligne]. Trondheim Norway: ACM, 2020, p. 480–486 [visité le 2026-08-19]. Disp. à l’adr. DOI: 10.1145/3341525.3387384
  3. DENNY, Paul; PRATHER, James; BECKER, Brett A.; MOONEY, Catherine; HOMER, John; ALBRECHT, Zachary C; POWELL, Garrett B. On Designing Programming Error Messages for Novices: Readability and Its Constituent Factors. In: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems [en ligne]. Yokohama Japan: ACM, 2021, p. 1–15 [visité le 2026-08-19]. Disp. à l’adr. DOI: 10.1145/3411764.3445696
  4. RASMUSSEN, Jens. Skills, Rules, and Knowledge; Signals, Signs, and Symbols, and Other Distinctions in Human Performance Models. IEEE Transactions on Systems, Man, and Cybernetics [en ligne]. 1983, vol. SMC-13, no. 3, p. 257–266 [visité le 2026-07-22]. Disp. à l’adr. DOI: 10.1109/TSMC.1983.6313160