Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2008-09-04
著者
-
Ogawa Mizuhito
School of Information Science - Japan Advanced Institute Science and Technology
-
Li Xin
School of Information Science, Japan Advanced Institute of Science and Technology
-
Li Xin
School Of Biological Sciences Nanyang Technological University
-
Li Xin
School Of Information Science Japan Advanced Institute Of Science And Technology
関連論文
- Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
- Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
- Re-Writable Multi-Domain Liquid Crystal Alignment Layers through Laser-Induced Micropatterning
- Stacking-based Context-Sensitive Points-to Analysis for Java
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
- Modular Stacking-based Context-Sensitive Program Analysis
- Associative Search on Shogi Game Records
- Concurrent extraction of proteins and RNA from cell-laden hydrogel scaffold free of polysaccharide interference
- Re-Writable Multi-Domain Liquid Crystal Alignment Layers through Laser-Induced Micropatterning
- A Formal Framework for Access Rights Analysis
- Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
- Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
- Well-Structured Pushdown Systems, Part 1:Decidable Classes for Coverability
- raSAT: SMT for polynomial inequality
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
- Identification of chromosome regions controlling seed storage proteins of narrow-leafed lupin (Lupinus angustifolius)