𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Driving a sound static software analyzer with branch-and-bound

✍ Scribed by Mattsen, Sven; Cuoq, Pascal; Schupp, Sibylle

Book ID: 126664546
Publisher: IEEE
Year: 2013
Weight: 111 KB
Category: Article
ISBN: 1467357391
DOI: 10.1109/SCAM.2013.6648185

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 IEEE 13th International Worki

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Code clustering workbench

✍ K M, Annervaz; Kaulgud, Vikrant; Misra, Janardan; Sengupta, Shubhashis; Titus, G 📂 Article 📅 2013 🏛 IEEE ⚖ 232 KB

[IEEE 2013 IEEE 13th International Worki

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - PtrTracker: Pragmatic pointer analysis

✍ Biallas, Sebastian; Olesen, Mads Chr.; Cassez, Franck; Huuck, Ralf 📂 Article 📅 2013 🏛 IEEE ⚖ 108 KB

[IEEE 2013 IEEE 13th International Worki

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - A state alteration and inspection-based interactive debugger

✍ Wang, Yan; Feng, Min; Gupta, Rajiv; Neamtiu, Iulian 📂 Article 📅 2013 🏛 IEEE ⚖ 322 KB

[IEEE 2013 IEEE 13th International Worki

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Ontological interpretation of object-oriented programming abstractions

✍ Kiwelekar, Arvind W; Joshi, Rushikesh K 📂 Article 📅 2013 🏛 IEEE ⚖ 213 KB

[IEEE 2013 IEEE 13th International Worki

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Empirical evidence of large-scale diversity in API usage of object-oriented software

✍ Mendez, Diego; Baudry, Benoit; Monperrus, Martin 📂 Article 📅 2013 🏛 IEEE ⚖ 948 KB

[IEEE 2010 10th IEEE Working Conference

[IEEE 2010 10th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM) - Timisoara, Romania (2010.09.12-2010.09.13)] 2010 10th IEEE Working Conference on Source Code Analysis and Manipulation - Refactoring Support for Modularity Maintenance in Erlang

✍ Li, Huiqing; Thompson, Simon 📂 Article 📅 2010 🏛 IEEE ⚖ 769 KB