Present*-优快云博客

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第十章

通过带参数的模拟关系证明编译器的正确性Compiler Correctness via Simulation Arguments

2024-01-06 22:36:22 1152 1

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第九章

抽象解释和数据流分析 Abstract Interpretation and Dataflow Analysis

2023-12-13 18:16:29 309 1

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第八章

操作语义 Operational Semantics

2023-10-30 17:18:18 435

原创力扣刷题Day 13 | 239. 滑动窗口最大值，347.前 K 个高频元素

栈与队列 part 3

2023-08-25 11:29:11 231 1

原创力扣刷题Day 11 | 20. 有效的括号，1047. 删除字符串中的所有相邻重复项，150. 逆波兰表达式求值

栈与队列 part 2

2023-08-22 11:27:35 182 1

原创力扣刷题Day 10 | 232.用栈实现队列，225. 用队列实现栈

栈与队列 part 1

2023-08-20 21:48:04 208 1

原创力扣刷题Day 9 | 28.实现 strStr()，459.重复的子字符串

字符串 part 2

2023-08-20 19:18:16 185 1

原创力扣刷题Day 8 | 344.反转字符串，541. 反转字符串II，剑指Offer 05.替换空格，151.翻转字符串里的单词，剑指Offer58-II.左旋转字符串

字符串part 1

2023-08-20 09:46:39 227 1

原创力扣刷题Day 7 | 454.四数相加II，383. 赎金信，15. 三数之和，18. 四数之和

哈希表 part 2

2023-08-18 11:48:05 309 1

原创力扣刷题Day 6 | 242.有效的字母异位词，349. 两个数组的交集，202. 快乐数，1. 两数之和

哈希表 part 1

2023-08-17 20:41:56 233 1

原创力扣刷题Day 4 | 24. 两两交换链表中的节点，19.删除链表的倒数第N个节点，面试题 02.07. 链表相交，142.环形链表II

链表 part 2

2023-08-17 10:50:01 245 1

原创力扣刷题Day 3 | 203.移除链表元素，707.设计链表，206.反转链表

链表 part 1

2023-08-14 22:13:35 225

原创力扣刷题Day 2 | 977.有序数组的平方，209.长度最小的子数组，59.螺旋矩阵II ，总结

数组 part 2

2023-08-12 11:04:26 252 1

原创力扣刷题Day 1 | 704. 二分查找，27. 移除元素

数组 part 1

2023-08-11 16:21:53 275 1

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第七章

模型检测 Model Checking

2023-04-23 21:07:53 337

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第六章

变迁系统和不变量 Transition Systems and Invariants

2023-03-31 20:37:20 542 1

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第五章

归纳关系与规则归纳 Inductive Relations and Rule Induction

2023-03-08 23:20:33 604

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第三章第四章

第三章数据抽象第四章通过解释器实现语义

2023-02-16 14:22:15 483 2

原创【Coq学习】Formal Reasoning About Programs 阅读笔记第一章第二章

摘要第一章为什么要证明程序的正确性第二章形式化程序的句法

2023-02-09 01:07:08 1278 1

qq_53287459的博客