A Theory of Inductive Data Types Involving Safe Pointers

• Project/Area Number: 19700006
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Fundamental theory of informatics
• Research Institution: Gunma University
• Principal Investigator: HAMANA Makoto Gunma University, 大学院・工学研究科, 助教 (90334135)
• Project Period (FY): 2007 – 2009
• Project Status: Completed (Fiscal Year 2009)
• Budget Amount: ¥2,290,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥390,000); Fiscal Year 2009: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2008: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2007: ¥600,000 (Direct Cost: ¥600,000)
• Keywords: 関数型プログラミング言語 / 項書換え・データ構造・情報基礎 / 関数プログラム / 項書換え / 情報基礎 / データ構造 / 項書替え

Research Abstract

Cyclic sharing tree structures appear very often in logic and theoretical computer science. We investigate a mathematically clean representation of them. We apply the obtained representation to inductive datatypes in functional programming languages.

Research Products

• [Journal Article] Semantic Labelling for Proving Termination of Combinatory Reduction Systems, In Proc. of 18th International Workshop on Functional and (Constraint) Logic Programming, Lecture Notes in Computer Science (2010)
  • Author(s): M. Hamana.
  • Journal Title: Springer-Verlag 5979 Pages: 62-78
  • Peer Reviewed
• [Journal Article] Semantic Labelling for Proving termination of Combinatory Reduction Systems (2010)
  • Author(s): M.Hamana
  • Journal Title: Functional and(Constraint)Logic Programming(WELP 2009) LNCS 5979 Pages: 62-78
  • Peer Reviewed
• [Journal Article] Initial Algebra Semantics for Cyclic Sharing Tree Structures (2010)
  • Author(s): M.Hamana
  • Journal Title: Logical Methods in Computer Science (掲載決定)
  • Peer Reviewed
• [Journal Article] Initial Algebra Semantics for Cyclic Sharing Structures, Typed Lambda Calculi and Applications, Lecture Notes in Computer Science (2009)
  • Author(s): M. Hamana.
  • Journal Title: Springer-Verlag 5608 Pages: 127-141
  • Peer Reviewed
• [Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化 (2009)
  • Author(s): 松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
  • Journal Title: コンピュータソフトウェア Vol.26,No.2 Pages: 56-75
  • NAID: 10025982390
  • Peer Reviewed
• [Journal Article] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • Author(s): M.Hamana
  • Journal Title: Typed Lambda Calculi and Applications(TLCA 2009) LNCS 5608 Pages: 127-141
  • Peer Reviewed
• [Journal Article] Higher-Order Semantic Labelling for Inductive Datatype Systems. In Proc. of Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (2007)
  • Author(s): M. Hamana.
  • Journal Title: ACM Press Pages: 97-108
  • Peer Reviewed
• [Journal Article] Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions, In Proc. of 12th ACM SIGPLAN International Conference on Functional Programming (2007)
  • Author(s): K. Matsuda, Z. Hu, K. Nakano, M. Hamana, M. Takeichi.
  • Journal Title: ACM Press Pages: 47-58
  • Peer Reviewed
• [Journal Article] Higher-Order Semantic Labelling for Inductive Datatype Systems (2007)
  • Author(s): M. Hamana
  • Journal Title: Ninth ACM SIGPLAN International Confe rence on Principles and Practice of Declar ative Programming Pages: 97-108
  • Peer Reviewed
• [Journal Article] Bidirectionalization Transformation based on Automatic Deriv ation of View Complement Functions (2007)
  • Author(s): Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
  • Journal Title: 12th ACM SIGPLAN International Conference on Functional Programming Pages: 47-58
  • Peer Reviewed
• [Journal Article] Initial Algebra Semantics for Cyclic Sharing Tree Structures.
  • Author(s): M. Hamana.
  • Journal Title: Logical Methods in Computer Science (掲載決定)
  • Peer Reviewed
• [Presentation] Inductive Cyclic Sharing Data Structures, 相互作用の幾何 (2009)
  • Author(s): 浜名誠
  • Organizer: トレース付きモノイダル圏と非明示的計算量研究会
  • Place of Presentation: 京都大学
  • Year and Date: 2009-08-25
• [Presentation] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • Author(s): M.Hamana
  • Organizer: 相互作用の幾何、トレース付きモノイダル圏と非明示的計算量
  • Place of Presentation: 京都大学
  • Year and Date: 2009-08-25
• [Presentation] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • Author(s): 浜名誠
  • Place of Presentation: Typed Lambda Calculi and Applications
  • Year and Date: 2009-07-03
• [Presentation] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • Author(s): M.Hamana
  • Organizer: Ninth International Conference on Typed Lambda Calculi and Applications
  • Place of Presentation: ブラジル ブラジリア大学
  • Year and Date: 2009-07-03
• [Presentation] Semantic Labelling for Proving Termination of Combinatory Reduction Systems (2009)
  • Author(s): 浜名誠
  • Organizer: 18th International Workshop on Functional and (Constraint) Logic
  • Place of Presentation: Programming
  • Year and Date: 2009-06-28
• [Presentation] Semantic Labelling for Proving Termination of Combinatory Reduction Systems (2009)
  • Author(s): M.Hamana
  • Organizer: 18th International Workshop on Functional and(Constraint)Logic Programming
  • Place of Presentation: ブラジル ブラジリア大学
  • Year and Date: 2009-06-28
• [Presentation] Inductive Cyclic Data Structures (2009)
  • Author(s): 浜名誠
  • Organizer: The Estonian Theory Days
  • Place of Presentation: Kaariku Leisure and Sports Center, Estonia
  • Year and Date: 2009-02-01
• [Presentation] Inductive Cyclic Sharing Data Structures (2008)
  • Author(s): 浜名誠
  • Organizer: Workshop on Mathematics for Pressing Problems in Computer Science
  • Place of Presentation: 京都大学
  • Year and Date: 2008-06-30
• [Presentation] Induetive Cychc Shamig Data Stnlctures (2008)
  • Author(s): 浜名誠
  • Organizer: 計算機にまつわる喫緊の問題を解決するための数学的手法
  • Place of Presentation: 京都大学数理解析研究所
  • Year and Date: 2008-06-30
• [Presentation] Term Syntax for Cyclic Sharing Structures (2008)
  • Author(s): 浜名誠
  • Organizer: 29th TRS meeting
  • Place of Presentation: 東京大学
  • Year and Date: 2008-02-28
• [Presentation] Representing a Cyclic Sharing Structure as a GADT (2007)
  • Author(s): 浜名誠
  • Organizer: IPL seminar
  • Place of Presentation: 東京大学
  • Year and Date: 2007-10-30
• [Presentation] What is the Category for Haskell? (2007)
  • Author(s): 浜名誠
  • Organizer: CAPS, IPL
  • Place of Presentation: 東京大学
  • Year and Date: 2007-10-23
• [Presentation] Higher-Order Semantic Labelling for Inductive Datatype Systems. (2007)
  • Author(s): 浜名誠
  • Organizer: Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative
  • Place of Presentation: Programming
  • Year and Date: 2007-07-14
• [Presentation] Higher-Order Semantic Labelling for Inductive Datatype Systems (2007)
  • Author(s): M. Hamana
  • Organizer: Ninth ACM SIGPLAN International Conference on Principles and Practice of Declar ative Programming
  • Place of Presentation: ポーランド ブロツワフ大学
  • Year and Date: 2007-07-14
• [Remarks]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/
• [Remarks]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/
• [Remarks]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/
• [Remarks]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/