Verifying the Option Type with Rely-Guarantee Reasoning
Rattachement africain : us. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Many programming languages include an implementation of the option type, which encodes the absence or presence of values. Incorrect use of the option type results in run-time errors, and unstylistic use results in unnecessary code. Researchers and practitioners have tried to mitigate the pitfalls of the option type, but have yet to evaluate tools for enforcing correctness and good style.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Verifying the Option Type with Rely-Guarantee Reasoning
- Date Crossref
- 27/10/2024
- Éditeur
- ACM
- Type
- proceedings-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
University of Washington pays non établi dans la noticeUniversité ou école supérieure
University of Washington.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.