Abstract interpretation

approach to static program analysis

en-US/ˈæbˌstɹæktn ˌɪnˌtɝpɹɪˈteɪʃən/
en-GB/əbˈstɹækt ɪnˌtɜːpɹɪˈteɪʃən/

קטגוריות:

approximation theory