検索結果
"category:/Research/Paper"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
1
|
A Type System for Quantified Information-Flow Security in Java-Like Languages
Middleweight Javaに対して量的情報流解析を行う型シ... |
2017/03/14 19:00:00 |
|
2
|
Lightweight Transformation and Fact Extraction with the srcML Toolkit
srcML ツールキットのチュートリアル的な論文。重... |
2013/01/24 12:46:00 |
|
3
|
Constraint-Free Type Error Slicing
型付け規則を制約条件集合を解く問題に落と... |
2012/11/13 13:10:00 |
|
4
|
Theory and Implementation of a Real-Time Extension to the π-Calculus
π計算の新しい時間拡張の提案。稠密時間で... |
2012/08/31 16:45:00 |
|
5
|
The Eval That Men Do: A Large-Scale Study of the Use of Eval in JavaScript Applications
JavaScript を利用した Web アプリケーションにおける eval の利用に関する大規模な調査。10000 サイトについて 55 万回の eval 呼び出しを調査。引数に渡された文字列は全... |
2012/08/19 10:57:00 |
|
6
|
Gradual Typing for Generics
ジェネリクスを考慮した漸進的型付け。同じ... |
2012/08/17 18:10:00 |
|
7
|
A Generic Calculus of XML Editing Deltas
XML文書に対する挿入と削除およびそれら... |
2012/03/22 17:09:00 |
|
8
|
On the Detection of Anomalous System Call Arguments
システムコールの引数に着目して攻撃を発見... |
2011/06/20 10:23:00 |
|
9
|
Immutability Specification and its Applications
Java に immutability を入れる仕組みを考えました、という論文。... |
2011/05/02 12:17:00 |
|
10
|
Privacy-Sensitive Information Flow with JML
JML を拡張して非干渉性に関する条件を書けるよ... |
2010/10/28 13:18:00 |
|
11
|
An Analysis of the Dynamic Behavior of JavaScript Programs
既存の JavaScript プログラムにおいて動的な要素がどの程度利... |
2010/07/09 22:13:00 |
|
12
|
The Essence of JavaScript
JavaScript の意味論の提案。JavaScript のコアとなる要素の意味論を定義し、コア以... |
2010/06/12 23:52:00 |
|
13
|
Type Qualifier Inference for Java
Java プログラムに対し、新しい型と型間の半順序... |
2010/05/14 17:08:00 |
|
14
|
Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
並行プログラムを対象とする情報流解析の型... |
2010/05/02 13:49:00 |
|
15
|
Towards an XML-based Bytecode Level Transformation Framework
CLR から JVM への変換を XML を使ってやったという論文。それぞれのバイ... |
2010/02/16 17:26:00 |
|
16
|
A Core Calculus for Java Exceptions
Java の例外をフォーマルに扱うための体系の提案... |
2010/02/08 10:40:00 |
|
17
|
Security Types Preserving Compilation
手続き呼び出しの書ける低レベル言語を対象... |
2010/01/26 13:16:00 |
|
18
|
Union Types for Object-Oriented Programming
union type の提案。union type は 2 つのクラスの同じ名前のメンバに関しては区... |
2010/01/22 15:38:00 |
|
19
|
Declarative Intraprocedural Flow Analysis of Java Source Code
Java のソースコードを対象に関数内制御フロー解... |
2009/12/30 14:14:00 |
|
20
|
Recency Types for Analyzing Scripting Languages
JavaScript みたいな言語を対象とした型システムの提案... |
2009/12/29 12:51:00 |