方园
- 作品数：4 被引量：0H指数：0
- 供职机构：南京大学更多>>
- 相关领域：哲学宗教历史地理更多>>
- 一种递归最大执行频度与深度的静态估计方法
- 本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结...
- 汤恩义刘璐方园李宣东冯世宁张庆垒
- 文献传递
- 一种递归最大执行频度与深度的静态估计方法
- 本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结...
- 汤恩义刘璐方园李宣东冯世宁张庆垒
- 文献传递
- 西汉法家思想的演变
——战国秦汉法家思想比较研究
- 清代儒者一直以汉学的正统自居,对于强调“天理”、“人欲”之辩的宋明理学和理学人物抱有着一种敌视的态度,并对其展开了严厉而尖锐的批评。其中,以张载、程颐、朱熹为代表的部分宋代儒者,他们要求的恢复古代肉刑的建议,被看作是“以...
- 方园
- 西汉法家思想的演变
- 清代儒者一直以汉学的正统自居,对于强调“天理”、“人欲”之辩的宋明理学和理学人物抱有着一种敌视的态度,并对其展开了严厉而尖锐的批评。其中,以张载、程颐、朱熹为代表的部分宋代儒者,他们要求的恢复古代肉刑的建议,被看作是“以...
- 方园
- 文献传递
