Academic CS in Production Code

Efficient chaotic iteration strategies with widenings.

François Bourdoncle
1993
6 references
View Paper DOI
⚙️ Classical Compilers 🖥️ Operating Systems
2 repositories
6 references

Code References

▶ freebsd/freebsd-src
1 file
▶ contrib/llvm-project/clang/include/clang/Analysis/Analyses/IntervalPartition.h
3
// F. Bourdoncle ([Bourdoncle1993]).
/// [Bourdoncle1993].
/// This WTO construction is described in Section 4.2 of [Bourdoncle1993].
▶ llvm/llvm-project
1 file
▶ clang/include/clang/Analysis/Analyses/IntervalPartition.h
3
// F. Bourdoncle ([Bourdoncle1993]).
/// [Bourdoncle1993].
/// This WTO construction is described in Section 4.2 of [Bourdoncle1993].
Link copied to clipboard!