検索結果
"category:/Research"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
21
|
Towards an XML-based Bytecode Level Transformation Framework
CLR から JVM への変換を XML を使ってやったという論文。それぞれのバイ... |
2010/02/16 17:26:00 |
|
22
|
A Core Calculus for Java Exceptions
Java の例外をフォーマルに扱うための体系の提案... |
2010/02/08 10:40:00 |
|
23
|
Security Types Preserving Compilation
手続き呼び出しの書ける低レベル言語を対象... |
2010/01/26 13:16:00 |
|
24
|
Union Types for Object-Oriented Programming
union type の提案。union type は 2 つのクラスの同じ名前のメンバに関しては区... |
2010/01/22 15:38:00 |
|
25
|
Declarative Intraprocedural Flow Analysis of Java Source Code
Java のソースコードを対象に関数内制御フロー解... |
2009/12/30 14:14:00 |
|
26
|
Recency Types for Analyzing Scripting Languages
JavaScript みたいな言語を対象とした型システムの提案... |
2009/12/29 12:51:00 |
|
27
|
A Stackless Runtime Environment for a Pi-calculus
pi-calculus の亜種である cube-calculus に対する実行系の提案。言語的に tail recursion しかないためにスタックを使わずにリソース... |
2009/11/30 12:27:00 |
|
28
|
出張
出張から帰宅。FOSE2009 に行ってました。終わった後で移動して友人... |
2009/11/21 23:51:00 |
|
29
|
Static Type Inference for Ruby
Ruby の型推論の話。Ruby にはどんな型があるというのが 3 ページくらい続いて、推論は制約ベースでや... |
2009/10/22 13:47:00 |
|
30
|
Analysis of Imperative XML Programs
同じ XPath を何度も評価したり、同じツリーを何度もト... |
2009/10/19 11:05:00 |
|
31
|
Control-Flow Analysis of Programs with Exception-Handling Constructs
例外処理の制御フローグラフの話。一応 Java が対象になっているけど、Java みたいな例外処理機構を持つ言語ならおおよ... |
2009/09/25 10:52:00 |
|
32
|
Typestates for Objects
オブジェクトの型として typestate を使うという提案。直観的には、クラス定義... |
2009/09/14 11:42:00 |
|
33
|
開発環境その2
前回の続き。足りないファイルを前のノート PC から取ってきたりして Ant ターゲットは一通り実行できるようなりまし... |
2009/08/21 20:53:00 |
|
34
|
開発環境
ノート PC を換えたときに移行しなかった某 W プロジェクトの開発環境を今頃になってよう... |
2009/08/19 20:03:00 |
|
35
|
Type Analysis for JavaScript
JavaScript プログラムを抽象実行によって解析する手法... |
2009/08/13 12:13:00 |
|
36
|
Automatic Detection of Immutable Fields in Java
Java プログラムを対象にフィールドが不変か決定... |
2009/08/10 12:20:00 |
|
37
|
Points-to Analysis for JavaScript
JavaScript プログラムにおいて変数やプロパティがどの... |
2009/08/07 14:20:00 |
|
38
|
Interprocedural Exception Analysis for Java
例外を追跡する手法の提案。各構文要素に対... |
2009/08/04 21:30:00 |
|
39
|
Object and Reference Immutability using Java Generics
object immutability と reference immutability を Java の generics を使って実現する方法の提案。不変性を表す... |
2009/07/23 12:43:00 |
|
40
|
Searching for Type-Error Messages
前読んだ論文の発展版。同一関数内に複数型... |
2009/07/21 17:26:00 |