構成的理論に基づいたプログラミング言語Zとその実装
スポンサーリンク
概要
- 論文の詳細を見る
プログラミング言語Zには簡潔で厳密なセマンティックが与えられており,将来的にはZで記述したプログラムついてもその数学的,論理的性質を素直に記述,証明できる言語になることを目指している.今回はZのコア言語となるpure Zと,Javaで書かれたLisp処理系JAKLDを基にしたpure Zの実装を紹介する.JAKLDは携帯電話でも動くコンパクトさと改造しやすさからpure Zの実装に適している.今回のpure Zの実装は今後の拡張に備え,コンパクトさと改造のしやすさを引き継いだ実装になっている.
- 2010-12-10
著者
-
八杉 昌宏
京都大学大学院情報学研究科
-
佐藤 雅彦
京都大学大学院情報学研究科
-
湯淺 太一
京都大学大学院工学研究科情報工学専攻
-
馬谷 誠二
京都大学大学院情報学研究科
-
新名 庸生
京都大学大学院情報学研究科
-
湯淺 太一
京都大学大学院情報学研究科
-
湯浅 太一
豊橋技術科学大学
-
佐藤 雅彦
Department Of Information Science Faculty Of Science University Of Tokyo
-
Yasugi Masahiro
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit
-
Masahiro Yasugi
Graduate School Of Informatics Kyoto University
-
Sato Masahiko
Graduate School Department Of Mathematics Kyoto University
-
Sato Masahiko
Department Of Information Science Kyoto University
-
佐藤 雅彦
京都大学大学院エネルギー科学研究科
関連論文
- L-Closure:安全な計算状態操作機構(平成21年度論文賞の受賞論文紹介)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
- フレーゲの計算機科学への影響 (特集 フレーゲの現代性)
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- A Second Order Typed Context Calculus
- 型付きλ計算の拡張によるMobile計算の定式化
- オメガ正規言語の測度が有理数であること
- プログラム理論 A Type-Free Context Calculus
- 適切さの論理を用いた帰納論理プログラミング
- 発見科学の構想と展開(発見科学)
- 参照透明な代入を持つ純関数型言語
- 自己反映的証明体系RPTの理論と実現
- ソフトウェア科学会第3回大会
- L-Closure : 高性能・高信頼プログラミング言語の実装向け言語機構
- 階層的グループ化に基づくコピー型ごみ集めによる局所性改善
- データ並列言語におけるベクトルプロセッサ向きコード生成
- 共有メモリプログラミングのための拡張C言語
- 標準プログラム言語の国際化
- 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計
- 17aRA-6 非線形抵抗性壁モードのモデリング
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 構成的理論に基づいたプログラミング言語Zとその実装
- L-Closureを用いた真に末尾再帰的なSchemeインタプリタ
- リターンバリア型実時間ごみ集めの抽象モデル検査
- Cache-conscious階層的グループ化データ配置法:Cache-oblivious配置法との実験的比較
- タプル空間によるブラウザ間通信を備えたScheme処理系の開発
- 2L-5 スタックスキャンを中断させるリターンバリアごみ集め(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(2),一般セッション,リーディングプロジェクト e-society)
- 情報化
- リージョン変数の動的なエイリアス判定によるメモリ効率向上
- 遅延分割型負荷分散フレームワークの試験実装
- スタックベースのML処理系における効率的な一級継続の実装
- S式ベースC言語における変形規則による言語拡張機構
- 国内予選を突破せよ(プログラム・プロムナード)
- 実時間処理に適したメモリ管理を行うLisp処理系の設計と実装
- 入れ子関数を利用する動的負荷分散と高水準記述(言語処理系)
- 細粒度マルチスレッド言語における例外処理の効率良い実装
- 組み込みシステムにおける複数のフリーリストに割り振るメモリ量の最適化
- 並行オブジェクトのための型システムとコンパイル技法
- バックトラックに基づく負荷分散のT2K並列環境における評価
- call/ccからcall/iocへの自動変換
- ヒューマノイド行動ソフトウェア基盤におけるマルチスレッドLispへの実時間GC機能の導入(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- バックトラックに基づく負荷分散の高並列環境における評価
- オブジェクト指向並列言語OPAのための遅延正規化手法
- 遅延タスク生成の反復計算向け拡張(並列処理)
- オブジェクト指向並列言語OPAのためのコード生成手法
- マルチコンテキスト管理をサポートする実装用言語
- 3Z-7 並列言語OPAにおける一貫性制御に対応した差分プログラミング
- 22pXG-13 負磁気シアートカマクにおける非線形ダブルテアリングモード
- Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
- Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
- データ並列言語における擬似ベクトル処理のための実行方式
- Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
- 2ZP-2 バックトラックに基づく負荷分散の広域分散環境における評価(情報爆発時代における分散処理と運用技術,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 情報学科シンポジウム
- ロボット行動ソフトウェア環境に適した実時間ごみ集め(サイバー増大ページ論文概要,サイバー増大号)
- ネットワークコミュニティにおける関心の類似性に基づいた知識共有の促進(インタラクション技術の革新と実用化)
- Zinger:関心の類似性に基づく会話支援エージェント(「情報メディアとインタフェース」および一般)
- 共有メモリ向けプリミティブとそのGCCを使った実現
- データ並列言語におけるベクトルプロセッサ向きコード生成
- A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)
- ニセ金発見パズルについて (計算機によるパズル・ゲームの研究)
- On Formal Fractions Associated with the Symmetric Groups (組合せ構造とグラフ理論)
- 2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)
- Lゲームの計算機による分類 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- 入れ子関数を利用した動的負荷分散
- Java上のScheme処理系「ぶぶ」における単一のクラスローダを用いたオブジェクトシステムの実装
- プログラムの部分移送に基づく遠隔実行機構とその知的インタフェースへの応用
- 3Z-6 並列Schemeにおける即時タスク生成法と遅延タスク生成法の融合
- 産業界からの理工系情報学科の研究教育内容への期待と大学の取り組み
- リターン・バリア
- 既存Cヘッダファイルの構文の異なる言語での有効利用(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- Silly Sort(プログラム・プロムナード)
- 継続の生成におけるスタックコピーの遅延
- SchemeにおけるEvaluation Strategyの設計と実装
- 4L-6 ISLISPコンパイラの実装
- Classical Brouwer-Heyting-Kolmogorov interpretation
- ワークスティーリングフレームワークにおけるブロードキャスト機能
- A Transformation-Based Implementation of Lightweight Nested Functions
- Efficient and Portable Implementation of Java-style Exception Handling in C
- 適応的オブジェクトによる排他制御の実行時緩和 (並列処理)
- 入れ子関数を利用したマルチスレッドの実現
- Javaと相互呼び出し可能なScheme処理系「ぶぶ」における継続機能と例外処理機能の実装
- データ並列言語における通信最適化のためのコード移動手法
- 適応的オブジェクトのための局面解析手法
- オブジェクト指向並列言語によるN体問題の並列化とその評価
- Safe AmbientsのためのJavaフレームワーク
- 動的スコープの利用による並列言語の同期・例外処理の階層的構造化
- A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)
- Parallel Graph Traversals using Work-Stealing Frameworks for Many-core Platforms
- 複数の最上位環境をサポートするLispモジュール機能
- 並列オブジェクト指向言語のためのガーベジコレクタ(並列処理)
- On the Periods of Certain Pseudorandom Sequences
- 「情報処理学会論文誌 : プログラミング」の編集について
- L-Closureの呼び出しコストの削減