Buy Me a Coffee at ko-fi.com

Abstract interpretation

approach to static program analysis

Pronunciation
/əbˈstrakt ɪntəːprɪˈteɪʃən/
/æbˈstrækt ɪnˌtərprəˈteɪʃən/