大規模コード

紹介論文今回紹介する論文はNon-Termination Proving: 100 Million LoC and Beyondという論文です。 この論文を一言でまとめるとPulse∞ツールを用いて、1億行を超えるコードベースにおける非終端...