抽象释义
在计算机科学中，抽象解释（abstract interpretation，在上下文明確時可簡稱AI）是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息（比如，控制结构、数据流）而不进行所有计算。 它的主要具体应用是静态分析，关于计算机程序的可能执行的信息的自动提取；这种分析有两个主要用途: 在编译器内部，分析程序来确定特定优化或变换是否是可适用的； 针对缺陷类的…
标签：#解释
共 2 篇文章
解釋 (邏輯)
解釋是一種將形式語言中的符號賦予意義的行為。許多使用於數學、邏輯及理論電腦科學的形式語言都會以純句法的方式定義，且直到給予某些解釋之前，不含有任何意義。一般研究形式語言的解釋的學科稱為形式語義學。 最常研究的形式邏輯為命題邏輯、謂詞邏輯及其衍生的邏輯，且此類的邏輯都已經有標準的方式來給出解釋。在這些情況下，解釋是一個可以提供目標語言的符號及符號字串外延的函數。例如，一個解釋函數可作用在謂詞T（表示「高」）上，並賦予其一個外延{a}（表示…