Background
数据流分析共性问题及理论基础
2025-11-01
程序分析原理
本文介绍数据流分析的共性问题，并介绍其理论基础——序理论与不动点理论
4747 words
|
24 minutes
Cover Image of the Post
活跃变量分析
2025-10-28
程序分析原理
本文介绍数据流分析之活跃变量分析
1517 words
|
8 minutes
Cover Image of the Post
可用表达式分析
2025-10-27
程序分析原理
本文介绍数据流分析之可用表达式分析
1736 words
|
9 minutes
Cover Image of the Post
数据流分析
2025-10-26
程序分析原理
本文介绍数据流分析的核心概念与分类，详解简化命令式程序语言WHILE的语法与示例，并系统阐述基于标签的程序控制流表示方法（含init映射、final映射及流关系）
1617 words
|
8 minutes
Cover Image of the Post
线性空间——线性表示、线性相关与线性无关
2025-10-22
高等工程数学
本文介绍线性表示、线性相关与线性无关相关概念及性质
1007 words
|
5 minutes
Cover Image of the Post
线性空间——线性空间的基与维数
2025-10-22
高等工程数学
本文介绍线性空间的基与维数相关概念与性质
1619 words
|
8 minutes
Cover Image of the Post
线性空间——线性空间的概念
2025-10-20
高等工程数学
本文从数域定义出发，详细阐释线性空间的定义、判断方法，列举常见线性空间并分析其构成条件，同时推导线性空间零元与负元唯一等关键性质
3087 words
|
15 minutes
Cover Image of the Post
CRTP：奇异递归模板
2025-10-08
PL
一种基于模板继承实现的静态多态模式
3003 words
|
15 minutes
Cover Image of the Post
1
2
© 2025 Eiskola. All Rights Reserved.
loading days... loading time...