操作語義學,是形式語義學的一個分支。程式設計語言的實施是在具體的計算機系統中按照語言的語義編制語言的翻譯程式,將語言中各個成分翻譯成計算機系統中相應的一組操作。語言在計算機系統中的一種實施一旦完成,那么對這個計算機系統而言,語言各個成分的含義也就完全確定了。因此語言的實施也可用來定義語言的語義,即將語言成分所對應的計算機系統的操作作為語言成分的語義,這種語義被稱作操作語義。
基本介紹
- 中文名:操作語義學
- 創建者:P.J.蘭丁
- 創建時間:1964年1月
- 特點:系統、嚴格
- 屬於:形式語義學
操作語義學,是形式語義學的一個分支。程式設計語言的實施是在具體的計算機系統中按照語言的語義編制語言的翻譯程式,將語言中各個成分翻譯成計算機系統中相應的一組操作。語言在計算機系統中的一種實施一旦完成,那么對這個計算機系統而言,語言各個成分的含義也就完全確定了。因此語言的實施也可用來定義語言的語義,即將語言成分所對應的計算機系統的操作作為語言成分的語義,這種語義被稱作操作語義。
操作語義學,是形式語義學的一個分支。程式設計語言的實施是在具體的計算機系統中按照語言的語義編制語言的翻譯程式,將語言中各個成分翻譯成計算機系統中相應的一組...
形式語義學(formal semantics),是程式設計理論的組成部分,以數學為工具,利用符號和公式,精確地定義和解釋電腦程式設計語言的語義,使語義形式化的學科。形式語義學是...
形式語義學的一個分支。人們用程式設計語言編製程序,命令計算機系統去加工數據。不同的計算機系統有不同的結構,因此對同一個命令的執行過程可以不同,但最終效果應該...
《形式語義學基礎與形式說明》是2010年科學出版社出版的圖書,作者是屈延文。本書介紹了指稱語義學、代數語義學、操作語義學與公理語義學的基本內容及其套用,並介紹了...
1 簡介 2 特點 3 操作語義學 4 有限狀態機 變遷系統簡介 編輯 有標號的變遷系統可以從已定義的標籤集合中選擇相應標籤來標記狀態遷移,而且相同的標籤可能被...
運算元的語義通常用結構化操作語義方法定義, 這樣進程就可看成是帶標號的變遷系統...(相信學過計算機的同志對這些名詞都有點眼熟)的指稱語義方面的研究,但是針對PL/...
關於計算和計算機械的數學理論,也稱為計算理論或計算機科學的數學基礎。理論計算機科學主要包括:①自動機論與形式語言理論②程式理論③形式語義學④算法分析和計算複雜...
在指稱語義學裡,類型安全意謂著一個表達式的值具有良好類型τ,則表達式是一個屬於τ的集合的真正的成員。1994年,Andrew Wright 和Matthias Felleisen以操作語義學定義...
形式化方法是一種利用純粹數學的方式分析軟體的方法,套用到的數學技巧包括指稱語義、公理語義、操作語義學及抽象釋義等計算機科學中的方法。...