Searching for "Flow-Sensitive Type Qualifiers." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
