4211 search results - page 120 / 843 » Types as Abstract Interpretations |
128
Voted
TPLP
2002
15 years 3 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
124
Voted
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
141
Voted
TLDI
2010
ACM
16 years 17 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
144
Voted
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
146
Voted
VIS
2009
IEEE
16 years 4 months ago
2009
IEEE
Visualization is the transformation of data or information into pictures. The need for visualization has become more apparent as the amount of available information has increased ...