Dependable Data Structures by Dependent Types
Dependable Data Structures by Dependent Types
依赖类型的可靠数据结构
批准号：
22700004
负责人：
HAMANA Makoto
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2010
资助国家：
日本
项目状态：
已结题
起止时间：
2010 至 2011
中文摘要
翻译
依赖类型是一种数据类型，它比普通数据类型确保了更精确的数据属性。利用依赖类型，我们发展了可靠数据结构的理论和应用，旨在为可靠的计算机软件奠定基础。
英文摘要
Dependent types are data types which ensure more precise properties of data thanordinary data types. Using dependent types, we develop a theory and applications ofdependable data structures, aiming to establish foundations of reliable computer softwares.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
[]
通讯作者：
Another Initial Algebra Semantics of Inductive Families for Programming
用于编程的归纳族的另一种初始代数语义
用于编程的归纳族的另一种初始代数语义
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
[Y. Hu, H. Hashimoto, S. Imahori, M. Yagiura, M.Hamana]
通讯作者：
M.Hamana
Constructing Correct Looping Arrows from Cyclic Terms : Traced Categorical Interpretation in Haskell
从循环项构建正确的循环箭头：Haskell 中的追踪分类解释
从循环项构建正确的循环箭头：Haskell 中的追踪分类解释
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
[Shoji Noguchi, Yoshiko Kosugi, Makoto Tani, Satoru Takanashi, Abd Rahman Lassim, Siti Aisah Shamsuddin, M. Hamana]
通讯作者：
M. Hamana
Semantic Labelling for Proving Termination of Combinatory Reduction Systems, Functional and Constraint Logic Programming, Lecture Notes in Computer Science
用于证明组合约简系统终止的语义标签、函数和约束逻辑编程、计算机科学讲义
用于证明组合约简系统终止的语义标签、函数和约束逻辑编程、计算机科学讲义
DOI：
--
发表时间：
2010
期刊：
Springer-Verlag
影响因子：
--
作者：
[中島 隆, 大野充昭, 園山 亘, 笈田育尚, Emilio S.Hara, 前川賢治, 窪木拓男, 佐々木淳一,松本卓也,江草 宏,矢谷博文,今里 聡, M. Hamana]
通讯作者：
M. Hamana
チューリングを読む-コンピュータサイエンスの金字塔を楽しもう
阅读图灵 - 享受计算机科学的不朽著作
阅读图灵 - 享受计算机科学的不朽著作
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
[チャールズ・ペゾルド (著), 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行 (訳)]
通讯作者：
山田俊行 (訳)
共 16 条
A Theory of Inductive Data Types Involving Safe Pointers
-
批准号：19700006
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.47万
-
财政年份：2007
-
负责人：HAMANA Makoto
-
依托单位：
海外基金