Abstract interpretation

approach to static program analysis

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

ক্যাটাগরি:

approximation theory