コード実行機能と計算エフェクトを持つ型付きマルチステージ言語

• 杉浦 啓介

  筑波大学システム情報工学研究科コンピュータサイエンス専攻

• 亀山 幸義

  筑波大学システム情報工学研究科コンピュータサイエンス専攻

書誌事項

タイトル別名

• Typed Multi-Stage Language with Control Effect and Code Execution

抄録

Multi-stage programming is a programming style which has multiple stages such as the code generation stage and the code execution stage, and is a promising approach to combine reusability and efficiency. One of the important issues in multi-stage programming languages (MSL, in short) is the safety properties of the generated code: it must be well formed and have no free variables.<BR>Taha and Nielsen proposed a type system which guarantees the above properties for MSL, but their target language is a purely functional language without control effects such as exceptions and states. Kameyama, Kiselyov and Shan proposed an effect-and-type system for a language with control operators shift and reset.<BR>This paper builds on their work in that its target language has the primitives for code execution and multi-prompt extension of shift and reset. We design a type system for the language and prove its soundness.

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 28 (1), 217-229, 2011

  日本ソフトウェア科学会

詳細情報

• CRID: 1390282679715137152
• NII論文ID: 130004892161
• DOI: 10.11309/jssst.28.1_217
• ISSN: 02896540
• データソース種別:
  • JaLC
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可