検索結果
"category:/Research/Paper"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
41
|
Type Error Slicing in Implicitly Typed Higher-Order Languages
型付けに失敗した時にその原因箇所をスライ... |
2009/05/14 13:18:00 |
|
42
|
Tractable Constraints in Finite Semilattices
有限な meet-semilattice 上の制約解消問題のうち真っ当に解ける（N... |
2009/05/07 21:38:00 |
|
43
|
Type Inference and Informative Error Reporting for Secure Information Flow
型システムによる情報流解析のエラーをわか... |
2009/04/17 20:37:00 |
|
44
|
Jifclipse: Development Tools for Security-Typed Languages
Jif 向けの IDE の提案。IDE としてやるべきことはいろいろあるけれど、... |
2009/04/16 18:51:00 |
|
45
|
Effective Blame for Information-Flow Violations
情報流解析でエラーが出た時にその原因箇所... |
2009/04/15 20:45:00 |
|
46
|
An Operational Semantics for JavaScript
今まで A 草研の blog に読んだ論文の記録を付けてましたが、気軽... |
2009/04/01 14:54:00 |
|
47
|
Packrat Parsing のメモリ効率の改善手法
Packrat Parsing という構文解析手法の入力になる parsing expression grammer (PEG) に新しい演算子を追加して解析時のメモリ効... |
2009/03/27 21:52:00 |
|
48
|
A Framework for Implementing Pluggable Type Systems
Java に新しい型システムを実装するためのフレー... |
2009/03/26 18:24:47 |
|
49
|
Soft Typing
静的型付けできないところは実行時に検査す... |
2009/03/25 11:26:23 |
|
50
|
型エラースライシングによるデッドロックの原因特定
... |
2009/03/11 21:22:49 |
|
51
|
Recency Types for Dynamically-Typed, Object-Based Languages
JavaScript のような動的型付けでオブジェクトな言語の... |
2009/03/11 21:11:29 |
|
52
|
PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code
初めにこの関数を呼んで次にこれを呼んで最... |
2009/03/02 15:13:03 |
|
53
|
Jungloid Mining: Helping to Navigate the API Jungle
典型的な API 呼び出しの順序と返り値のキャストをいちい... |
2009/02/24 21:09:15 |
|
54
|
Construction of the System Dependence Graph for Web Application Slicing
Web アプリケーションのスライシングのための依... |
2009/02/21 22:28:19 |
|
55
|
Type Checking for JavaScript
JavaScript らしさを残した JavaScript のサブセット言語の型システムの話。以前読... |
2009/01/26 11:19:13 |
|
56
|
Towards Automatically Eliminating Integer-Based Vulnerabilities
C プログラムの整数に関わる脆弱性を見つけて... |
2009/01/15 21:05:18 |
|
57
|
Gradual Typing with Unification-based Inference
漸進的型付けの型推論アルゴリズム。動的型... |
2009/01/04 20:16:50 |
|
58
|
BabyJ: From Object Based to Class Based Programming via Types
JavaScript ライクな BabyJ という言語、型情報が書ける BabyJT という言語と型システムと健全性、さらに Java ライクな言語への変換と変換の健全性などの... |
2008/12/23 18:53:40 |
|
59
|
Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs
整数オーバーフロー、アンダーフローを静的... |
2008/12/21 21:38:38 |
|
60
|
DHTMLにおけるDOMの解析手法
DOM を正規木文法、DOM 操作を top-down tree transducer として表し、JavaScript プログラムによる DOM 操作前後の DOM を得る手法の提案。ショートペーパーのせい... |
2008/12/14 14:51:04 |