研究プロジェクト

GPGPUのための並行分離論理のCoqによる健全性証明

GPGPU 向けの並行分離論理 (GPUCSL) を設計し,定理証明支援器 Coq を用いた健全性の証明を与え… Continue Reading GPGPUのための並行分離論理のCoqによる健全性証明

Pyrlang: RPythonを用いた高性能仮想機械

我々は、RPythonを用いて実行時(Just-In-Time)コンパイラ付きのErlang仮想機械を構築して… Continue Reading Pyrlang: RPythonを用いた高性能仮想機械

(English) A per-type Instantiation Mechanism for Generic Aspects

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) AOP for implicit conversion

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) Aspect Sand Box

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) AspectKlava

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) Aspectual Caml (A'Caml): an AOP extension to functional language Caml

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) Aspectual Haskell

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

Association Aspects: 連想アスペクト

連想アスペクト(Association Aspects)はAspectJのアスペクトに対する拡張機構です。連想… Continue Reading Association Aspects: 連想アスペクト

(English) BCS: BYTECODE SPECIALIZATION

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

Javaによる文脈指向プログラミング

文脈指向プログラミング(Context Oriented Programming)は文脈に依存する関心事をモジ… Continue Reading Javaによる文脈指向プログラミング

Dflow : データフローを扱えるアスペクト指向言語の拡張

このプロジェクトは,アスペクト指向言語のポイントカット記述を拡張することを目的としたものです. データの依存関… Continue Reading Dflow : データフローを扱えるアスペクト指向言語の拡張

(English) Event-based Context-Oriented Programming

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

文脈指向プログラミングの基礎

数々の文脈指向プログラミング(COP)言語が提案されている一方で、その性質に関する議論は多くない。本プロジェク… Continue Reading 文脈指向プログラミングの基礎

GPGPUプログラミングのためのRuby言語処理系Ikra

GPGPUはその性能が注目される一方で、プログラミングの手間が問題となっています。そこで、Rubyからの言語変… Continue Reading GPGPUプログラミングのためのRuby言語処理系Ikra

(English) ITD Interfaces

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) ObjCache: Profile-based Object Caching

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) Pit: Point-in-time Join Point Model for Aspect-Oriented Programming Languages

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

(English) SCoPE - Static Conditional Pointcut Evaluator for AspectJ

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

Selene:ソースコード推薦ツール

統合開発環境上で編集中のプログラムに関連の深いコードを貯蔵庫から自動的に検索し提示するツール People 渡… Continue Reading Selene:ソースコード推薦ツール

テストに基づいたポイントカット

テストに基づいたポイントカット(Test-based Pointcuts)はアスペクト指向プログラミングのため… Continue Reading テストに基づいたポイントカット

(English) Traceglasses : A Trace-Based Debugger

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

型緩和織込

AspectJ言語のaroundアドバイスは、メソッド呼び出し(や他の操作)の実行時の引数や返値を変更できる強… Continue Reading 型緩和織込

(English) Typed Pointcut Lanugage

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。