图书标签: 语言学 程序语言 搞IT还是要点理论的 Semantics
发表于2024-11-03
Semantics With Applications pdf epub mobi txt 电子书 下载 2024
The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics; stress their relationship by formulating and proving relevant theorems; and to illustrate the applicability of formal semantics as a tool in computer science. The bulk of the text concentrates on a small core language of while-programs for which the three approaches are developed to roughly the same level of sophistication. To demonstrate the applicability of formal semantics, the authors show how to use semantics for validating prototype implementations of programming languages; how to use semantics for verifying analyses used in more advanced implementations of programming languages; and how to use semantics for verifying useful program properties including information about execution time. The reader should have some experience of functional programming and the BNF-style of specifying the syntax of programming languages.
我对形式语义感兴趣主要是为了弄清楚以下几个问题:1.程序静态分析的原理(如优化中数据流的原理是什么,为什么迭代会到一个不动点,那个不动点为什么就是我们想要得到的结果) 2. 可信编译是什么原理 。 同时也想看看形式语义是什么,给自己一个动力去学haskell (Winhu...
评分我对形式语义感兴趣主要是为了弄清楚以下几个问题:1.程序静态分析的原理(如优化中数据流的原理是什么,为什么迭代会到一个不动点,那个不动点为什么就是我们想要得到的结果) 2. 可信编译是什么原理 。 同时也想看看形式语义是什么,给自己一个动力去学haskell (Winhu...
评分我对形式语义感兴趣主要是为了弄清楚以下几个问题:1.程序静态分析的原理(如优化中数据流的原理是什么,为什么迭代会到一个不动点,那个不动点为什么就是我们想要得到的结果) 2. 可信编译是什么原理 。 同时也想看看形式语义是什么,给自己一个动力去学haskell (Winhu...
评分我对形式语义感兴趣主要是为了弄清楚以下几个问题:1.程序静态分析的原理(如优化中数据流的原理是什么,为什么迭代会到一个不动点,那个不动点为什么就是我们想要得到的结果) 2. 可信编译是什么原理 。 同时也想看看形式语义是什么,给自己一个动力去学haskell (Winhu...
评分我对形式语义感兴趣主要是为了弄清楚以下几个问题:1.程序静态分析的原理(如优化中数据流的原理是什么,为什么迭代会到一个不动点,那个不动点为什么就是我们想要得到的结果) 2. 可信编译是什么原理 。 同时也想看看形式语义是什么,给自己一个动力去学haskell (Winhu...
Semantics With Applications pdf epub mobi txt 电子书 下载 2024