Searching for "Flow-Sensitive Type Qualifiers." – sorted by Relevance.
-
Flow-Sensitive Type Qualifiers
- Flow-Sensitive Type Qualiers Jerey S. Foster Tachio Terauchi Alex Aiken Report No. UCB/CSD-01
- Cited by 255 (24 self) – Add To MetaCart
-
Type Qualifiers: Lightweight Specifications to Improve Software Quality
- the precision of flow-sensitive type qualifier inference. Finally, we describe a tool for adding type qualifiers
- Cited by 17 (3 self) – Add To MetaCart
-
Saturn: A SAT-Based Tool for Bug Detection
- tool that uses flow-sensitive type qualifiers to check similar properties. In contrast, a SAT
- Cited by 11 (0 self) – Add To MetaCart
-
Practical pluggable types for Java
- , flow-sensitive intraprocedural type qualifier inference, and a representation of annotated types. 3
- Cited by 5 (2 self) – Add To MetaCart
-
Securing web application code by static analysis and runtime protection
- ] extended their original, flow-insensitive type qualifier system for C with flow-sensitive type qualifiers
- Cited by 75 (2 self) – Add To MetaCart
-
On the revival of dynamic languages
- such as (for example) alias types [SWM00], confined types [GPV01], [ZPV03], flow-sensitive type qualifiers [Fos
- Cited by 4 (2 self) – Add To MetaCart
-
Session Types for Inter-Process Communication
- related line of research uses flow-sensitive type qualifiers to prove that programs access resources in a
- Cited by 24 (3 self) – Add To MetaCart

