@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00937807v1> a dcat:Dataset ;
    dct:description """
              In C, a typical strategy for implementing error handling code is to follow each operation that may encounter an error by a conditional that checks for an error result and, if one is found, performs the appropriate cleanup operations before returning from the function. This basic strategy, however, is itself error-prone, as it is easy to overlook some cleanup operations that are required, and to forget to update some existing error handling code when the function is extended with new operations that need to be undone in an error case. Furthermore, there may be substantial code duplication, as the same error handling code may be needed at many places within a function definition. One style of programming, <EM> goto-based</EM> strategy, that can somewhat alleviate these difficulties. To improve the structure of error handling code in the system software, we define an algorithm to transform error handling code implemented according to the basic strategy so that it follows the <EM> goto-based </EM> strategy. Even when error handling code is structured, the management of the releasing of allocated resources remains a continual problem in ensuring the robustness of systems code. In this thesis, we propose a <EM> microscopic </EM> resource-release omission fault finding algorithm, based on a mostly intraprocedural, flow and path-sensitive analysis, that targets and exploits the properties of error-handling code. Our algorithm is resistant to false positives in the set of resource acquisition and release operations, resulting in a low rate of false positives in the fault reports, and is highly scalable.
            """ ;
    dct:identifier "tel-00937807" ;
    dct:issued "2026-05-07T05:24:46.512409"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-07T05:24:46.512414"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00937807v1/resource/25bd083f-1f64-490b-968c-dc8357b36b88> ;
    dcat:keyword "analyse-statique",
        "bug-finding",
        "code-de-traitement-dexception",
        "conception",
        "design",
        "error-handling-code",
        "fiabilite",
        "infoeu-reposemanticsdoctoralthesis",
        "infoinfo-oscomputer-science-csoperating-systems-csos",
        "infoinfo-plcomputer-science-csprogramming-languages-cspl",
        "infoinfo-secomputer-science-cssoftware-engineering-csse",
        "recherche-de-bogue",
        "reliability",
        "static-analysis",
        "test-et-mise-au-point",
        "testing-and-debugging",
        "theses" ;
    dcat:landingPage <https://theses.hal.science/tel-00937807> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00937807v1/resource/25bd083f-1f64-490b-968c-dc8357b36b88> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-07T05:24:46.515185"^^xsd:dateTime ;
    dct:modified "2026-05-07T05:24:46.495944"^^xsd:dateTime ;
    dct:title "Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information" ;
    dcat:accessURL <https://theses.hal.science/tel-00937807> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://theses.hal.science/tel-00937807> a foaf:Document .