Export Citations
1 Results for: Author: Just, Ren�
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,775,410 records)|Limit your search to The ACM Full-Text Collection (762,102 records)
Verifying the Option Type with Rely-Guarantee Reasoning
ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software EngineeringPages 367–380https://doi.org/10.1145/3691620.3695036Many 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 ...