Inferring Effective Types for Static Analysis of C Programs
From MaRDI portal
Publication:5170179
DOI10.1016/j.entcs.2012.10.006zbMath1294.68057WikidataQ113318049 ScholiaQ113318049MaRDI QIDQ5170179
Bertrand Jeannet, Pascal Sotin
Publication date: 22 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.10.006
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work