検索結果
"tag:"paper""
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
21
|
A Stackless Runtime Environment for a Pi-calculus
pi-calculus の亜種である cube-calculus に対する実行系の提案。言語的に tail recursion しかないためにスタックを使わずにリソース... |
2009/11/30 12:27:00 |
|
22
|
Static Type Inference for Ruby
Ruby の型推論の話。Ruby にはどんな型があるというのが 3 ページくらい続いて、推論は制約ベースでや... |
2009/10/22 13:47:00 |
|
23
|
Analysis of Imperative XML Programs
同じ XPath を何度も評価したり、同じツリーを何度もト... |
2009/10/19 11:05:00 |
|
24
|
Control-Flow Analysis of Programs with Exception-Handling Constructs
例外処理の制御フローグラフの話。一応 Java が対象になっているけど、Java みたいな例外処理機構を持つ言語ならおおよ... |
2009/09/25 10:52:00 |
|
25
|
Typestates for Objects
オブジェクトの型として typestate を使うという提案。直観的には、クラス定義... |
2009/09/14 11:42:00 |
|
26
|
Type Analysis for JavaScript
JavaScript プログラムを抽象実行によって解析する手法... |
2009/08/13 12:13:00 |
|
27
|
Automatic Detection of Immutable Fields in Java
Java プログラムを対象にフィールドが不変か決定... |
2009/08/10 12:20:00 |
|
28
|
Points-to Analysis for JavaScript
JavaScript プログラムにおいて変数やプロパティがどの... |
2009/08/07 14:20:00 |
|
29
|
Interprocedural Exception Analysis for Java
例外を追跡する手法の提案。各構文要素に対... |
2009/08/04 21:30:00 |
|
30
|
Object and Reference Immutability using Java Generics
object immutability と reference immutability を Java の generics を使って実現する方法の提案。不変性を表す... |
2009/07/23 12:43:00 |
|
31
|
Searching for Type-Error Messages
前読んだ論文の発展版。同一関数内に複数型... |
2009/07/21 17:26:00 |
|
32
|
Immutable Objects for a Java-Like Language
オブジェクトが immutable かどうか検査する型システムの提案。rea... |
2009/07/20 14:53:00 |
|
33
|
A Type Safe DOM API
DOM API に対する型システムの提案。Java の型システムを拡張する形で定義。属性ノー... |
2009/07/13 10:59:00 |
|
34
|
SEMINAL: Searching for Error Messages in Advanced Languages
型エラーが発生したら構文木を「適当に」変... |
2009/07/07 10:08:00 |
|
35
|
プログラミング言語のスコープ階層を反映した構造化解析器
C 言語のような単純なレキシカルスコープでは... |
2009/06/18 21:37:00 |
|
36
|
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
ライブラリも考慮して情報流解析の型推論を... |
2009/06/01 19:44:00 |
|
37
|
Assertions to Better Specify the Amazon Bug
Web アプリケーションでブラウザの Back ボタンで戻って submit すると画面に見えてるのと実際に送信される... |
2009/05/31 12:17:00 |
|
38
|
Efficient Type Inference for Secure Information Flow
制約解消ではない方法で型推論を行うという... |
2009/05/29 20:37:00 |
|
39
|
Explaining Type Errors In Polymorphic Languages
前読んだ論文の発展みたいな論文。プログラ... |
2009/05/27 17:07:00 |
|
40
|
Finding the Source of Type Errors
型エラーの原因を見つける手法の提案。ちょ... |
2009/05/26 14:38:00 |