検索結果
"category:/Research"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
41
|
Immutable Objects for a Java-Like Language
オブジェクトが immutable かどうか検査する型システムの提案。rea... |
2009/07/20 14:53:00 |
|
42
|
A Type Safe DOM API
DOM API に対する型システムの提案。Java の型システムを拡張する形で定義。属性ノー... |
2009/07/13 10:59:00 |
|
43
|
SEMINAL: Searching for Error Messages in Advanced Languages
型エラーが発生したら構文木を「適当に」変... |
2009/07/07 10:08:00 |
|
44
|
プログラミング言語のスコープ階層を反映した構造化解析器
C 言語のような単純なレキシカルスコープでは... |
2009/06/18 21:37:00 |
|
45
|
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
ライブラリも考慮して情報流解析の型推論を... |
2009/06/01 19:44:00 |
|
46
|
Assertions to Better Specify the Amazon Bug
Web アプリケーションでブラウザの Back ボタンで戻って submit すると画面に見えてるのと実際に送信される... |
2009/05/31 12:17:00 |
|
47
|
Efficient Type Inference for Secure Information Flow
制約解消ではない方法で型推論を行うという... |
2009/05/29 20:37:00 |
|
48
|
Explaining Type Errors In Polymorphic Languages
前読んだ論文の発展みたいな論文。プログラ... |
2009/05/27 17:07:00 |
|
49
|
Finding the Source of Type Errors
型エラーの原因を見つける手法の提案。ちょ... |
2009/05/26 14:38:00 |
|
50
|
Type Error Slicing in Implicitly Typed Higher-Order Languages
型付けに失敗した時にその原因箇所をスライ... |
2009/05/14 13:18:00 |
|
51
|
Tractable Constraints in Finite Semilattices
有限な meet-semilattice 上の制約解消問題のうち真っ当に解ける（N... |
2009/05/07 21:38:00 |
|
52
|
Type Inference and Informative Error Reporting for Secure Information Flow
型システムによる情報流解析のエラーをわか... |
2009/04/17 20:37:00 |
|
53
|
Jifclipse: Development Tools for Security-Typed Languages
Jif 向けの IDE の提案。IDE としてやるべきことはいろいろあるけれど、... |
2009/04/16 18:51:00 |
|
54
|
Effective Blame for Information-Flow Violations
情報流解析でエラーが出た時にその原因箇所... |
2009/04/15 20:45:00 |
|
55
|
An Operational Semantics for JavaScript
今まで A 草研の blog に読んだ論文の記録を付けてましたが、気軽... |
2009/04/01 14:54:00 |
|
56
|
Packrat Parsing のメモリ効率の改善手法
Packrat Parsing という構文解析手法の入力になる parsing expression grammer (PEG) に新しい演算子を追加して解析時のメモリ効... |
2009/03/27 21:52:00 |
|
57
|
A Framework for Implementing Pluggable Type Systems
Java に新しい型システムを実装するためのフレー... |
2009/03/26 18:24:47 |
|
58
|
Soft Typing
静的型付けできないところは実行時に検査す... |
2009/03/25 11:26:23 |
|
59
|
型エラースライシングによるデッドロックの原因特定
... |
2009/03/11 21:22:49 |
|
60
|
Recency Types for Dynamically-Typed, Object-Based Languages
JavaScript のような動的型付けでオブジェクトな言語の... |
2009/03/11 21:11:29 |