102 search results - page 14 / 21 » A Sound Polymorphic Type System for a Dialect of C |
189
Voted
ENTCS
2002
15 years 5 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
152
Voted
DBPL
1999
Springer
15 years 9 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
180
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
161
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
134
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...