検索結果
"category:/Research/Paper"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
81
|
Refactoring Programs to Secure Information Flows
情報流解析に基づくリファクタリングの提案... |
2007/07/23 11:03:45 |
|
82
|
JFlow: Practical Mostly-Static Information Flow Control
Javaの機能を極力削らないようにしなが... |
2007/07/17 18:05:29 |
|
83
|
Proving Thread Termination
マルチスレッドなプログラムにおいてスレッ... |
2007/07/17 16:10:13 |
|
84
|
A Chart Semantics for the Pi-Calculus
π計算の意味論を図的に定義しようという論... |
2007/07/15 18:44:19 |
|
85
|
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes
π計算のプロセスの spatial property について partial order reduction する話。partial order reduction が可能な論理式のクラスを明らかにしている... |
2007/03/02 16:06:49 |
|
86
|
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis
複数のリファクタリング操作を行おうとして... |
2007/02/27 19:19:02 |
|
87
|
A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages
並行オブジェクト指向言語の意味論を CCS で定義した論文。似たようなことをやった研... |
2007/02/21 21:35:38 |
|
88
|
An Extensible Meta-Model for Program Analysis
Cross-Language Program Analysis and Refactoring ... |
2007/02/09 19:13:14 |
|
89
|
Cross-Language Program Analysis and Refactoring
複数のプログラミング言語を対象としたメタ... |
2007/02/08 11:44:24 |
|
90
|
Model-Checking Real-Time Control Programs - Verifying LEGO Mindstorms Systems Using UPPAAL
LEGO Mindstroms 上で動くプログラムを UPPAAL で検証したという論文。スケジューラのモデ... |
2006/12/06 16:55:13 |
|
91
|
Verification of the legOS Scheduler using Uppaal
legOS のスケジューラは固定優先度方式で優先度の... |
2006/12/02 13:11:58 |
|
92
|
On the Semantics of Software Adaptation
10 日前の A Formal Approach to Component Adaptation の理論面について議論している…ことになっ... |
2006/11/17 21:04:45 |
|
93
|
muABC: A Minimal Aspect Calculus
アスペクト指向を形式的に扱うための体系の... |
2006/11/14 0:32:26 |
|
94
|
A Formal Approach to Component Adaptation
これも形式手法を用いた component adaptation ... |
2006/11/07 22:01:45 |
|
95
|
A Calculus of Untyped Aspect-Oriented Programs
アスペクト指向プログラミングを形式化した... |
2006/10/31 17:25:20 |
|
96
|
Component Adaptation through Flexible Subservicing
Component adaptation の話をプロセス代数の世界で展開している。... |
2006/10/30 21:17:04 |
|
97
|
Towards a Semantic-Based Verification Environment for the pi-calculus
π計算のインタプリタと双模倣関係の判定器... |
2006/08/28 15:40:08 |
|
98
|
Using CafeOBJ to Mechanise Refactoring Proofs and Application
リファクタリングのルールが正しいことの証... |
2006/07/14 20:55:46 |
|
99
|
A Theorem Proving Approach to Analysis of Secure Information Flow
定理証明器を使って情報流解析しようという... |
2006/07/13 2:43:34 |
|
100
|
Changing Programs Correctly: Refactoring with Specifications
リファクタリング操作がプログラムの振舞い... |
2006/07/08 19:13:56 |