Conformance to Standards is becoming recognized as one of the most important assurances compiler vendors can provide to programmers. Conformance enables code portability and wider use of a language and its libraries. However, establishing the conformance of a compiler is difficult—especially for C++, which was slow to develop (with acceptance of a Standard occurring years after the language was introduced)
International audienceThis article describes the development and formal verification (proof of seman...
International audienceThis paper reports on the development and formal verification (proof of semant...
International audienceCompCert is the first commercially available optimizing compiler that is forma...
Conformance to Standards is becoming recognized as one of the most important assurances compiler ven...
In this paper, we describe our construction of a test harness to measure conformance of some popular...
The level of C++ compliers' adherence to the ISO C++ standard varies considerably from compiler to c...
AbstractCoding rules are often used in industry to foster best practices when coding software and to...
International audienceGiven the complexity and sophistication of code generation and optimization al...
Compilers, and especially optimizing compilers, are complicated programs. Bugs in compilers happen, ...
Consistent, high-quality coding standards improve software quality, reduce time-to-market, promote t...
International audienceCompCert is the first commercially available optimizing compiler that is forma...
International audienceFormal verification of software or hardware systems — be it by model checking,...
As C++ programmers, we already feel the impact of the work of the ANSI/ISO C++ standards committee. ...
This paper presents the design and implementation of a compiler that translates programs written in ...
This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) pr...
International audienceThis article describes the development and formal verification (proof of seman...
International audienceThis paper reports on the development and formal verification (proof of semant...
International audienceCompCert is the first commercially available optimizing compiler that is forma...
Conformance to Standards is becoming recognized as one of the most important assurances compiler ven...
In this paper, we describe our construction of a test harness to measure conformance of some popular...
The level of C++ compliers' adherence to the ISO C++ standard varies considerably from compiler to c...
AbstractCoding rules are often used in industry to foster best practices when coding software and to...
International audienceGiven the complexity and sophistication of code generation and optimization al...
Compilers, and especially optimizing compilers, are complicated programs. Bugs in compilers happen, ...
Consistent, high-quality coding standards improve software quality, reduce time-to-market, promote t...
International audienceCompCert is the first commercially available optimizing compiler that is forma...
International audienceFormal verification of software or hardware systems — be it by model checking,...
As C++ programmers, we already feel the impact of the work of the ANSI/ISO C++ standards committee. ...
This paper presents the design and implementation of a compiler that translates programs written in ...
This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) pr...
International audienceThis article describes the development and formal verification (proof of seman...
International audienceThis paper reports on the development and formal verification (proof of semant...
International audienceCompCert is the first commercially available optimizing compiler that is forma...