61 search results - page 6 / 13 » Type-Directed Flow Analysis for Typed Intermediate Languages |
115
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
140
click to vote
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
147
click to vote
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
130
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
225
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...