形式语义 - 随笔分类 - jjppp

形式语义05 Semantics

摘要：Formal Semantic 一般分三种 Operational Semantic，操作语义 Denotational Semantic，指称语义 Axiomatic Semantic，公理语义主要记一下操作语义 Operational Semantic 对命令式语言而言，一个程序的运行状态可以阅读全文

posted @ 2021-11-07 17:14 jjppp 阅读(786) 评论(0) 推荐(0) 编辑

形式语义04 Types

摘要：Types 首先要说明什么是Type Types可以看成是对数据的分类、一种约定，即我们用一个界来描述一类数据构成的集合，用不同的界区分不同的数据种类。对于untyped的语言，我们则可以看成是只有唯一一种包罗万象的type 类型实际上有很多作用，可以进行针对性的优化、可以提供部分代码的信息、可以作阅读全文

posted @ 2021-10-05 10:42 jjppp 阅读(248) 评论(0) 推荐(0) 编辑

形式语义03 Lambda

摘要：

λ

$\lambda$ -calculus Background 首先这是一种编程语言，在1930s被Alonzo Church和Stephen Cole Kleene发明（两位都是听说过的明星人物）还是一种计算模型，在1937年被Alan Turing证明其和图灵机的表达能力等价（这位更是重量级）阅读全文

posted @ 2021-09-16 11:36 jjppp 阅读(292) 评论(0) 推荐(0) 编辑

形式语义01 Intro

摘要：感觉第一节课都差不多推荐了Software Foundations，搜了一圈发现非常劝退....但还是磨磨蹭蹭看完了Lists 书上说不建议贴答案和题解，那就不贴了吧（ developing general abstractions, or building blocks, for solving 阅读全文

posted @ 2021-09-09 21:44 jjppp 阅读(62) 评论(0) 推荐(0) 编辑

形式语义02 Math

摘要：Basic Set Theory 没啥好讲的

⋂ S = {x | \forall T \in S, x \in T}

$\bigcap S=\left\{\;x\;|\; \forall T\in S,x\in T \;\right\}$ 记

R = ⋂ \emptyset

$R=\bigcap\emptyset$ ，则 \(\forall x. \forall T\in\emptyset\we 阅读全文

posted @ 2021-09-09 21:44 jjppp 阅读(110) 评论(0) 推荐(0) 编辑

jjppp的博客

那就这样吧!@#$%^&*_

随笔分类 - 形式语义

公告

最新随笔

随笔分类 (89)

随笔档案 (84)

友情链接

评论排行榜

最新评论