プログラム言語特論 (Advanced Course in Programming Languages)

• 担当教員: 亀山幸義、 海野広志
• 曜日・時限: 春AB, 火2
• 教室: オンライン授業

目次

• シラバス

• 講義計画と授業スライド (亀山担当分) 関数プログラミングと型システムを用いた「プログラム生成」をテーマとします。 授業資料は manaba から取得してください。

• 最終レポートの題材となる論文; 各自、以下の中から1つを選んでください。
  • 論文紹介の題材1 (一般的な文献): "A Gentle Introduction to Multi-Stage Programming", Walid Taha, Domain-Specific Program Generaton, Internatoinal Seminar, Dagstuhl, pp.30-50, 2003. pdf

  • 論文紹介の題材2 (一般的な文献): "GoMeta! A Case for Generative Programming and DSLs in Performance Critical Systems", Tiark Rompf et al. Proc. of the 1st Summit on Advances in Programming Languages (SNAPL'15) pp.238-261, 2015. pdf

  • 論文紹介の題材3 (個別の事例): "Terra: A Multi-Stage Langauage for High-Performance Computing", Zachary DeVito et al., PLDI'13, 2013. pdf

  • 論文紹介の題材4 (個別の事例): "Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines", Jonathan Ragan-Kelly et al., PLDI'13, 2013. pdf

  • 論文紹介の題材5 (個別の事例): "Functional Pearl: A SQL to C Compiler in 500 Lines of Code", Tiark Rompf and Nada Amin, Proc. ICFP'15, 2015. pdf
  • 論文紹介の題材6 (個別の事例): "Multi-stage progrmaming with functors and mondas: eliminating abstraction overhead from generic code", by Jacques Carette and Oleg Kiselyov, Proc. International Conference on Generative Programming and Component Engineering, pp.256-274, 2006. pdf