Minimal data upgrading to prevent inference and association attacks
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Type elaboration and subtype completion for Java bytecode
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type elaboration and subtype completion for Java bytecode
ACM Transactions on Programming Languages and Systems (TOPLAS)
Solving Order Constraints in Logarithmic Space
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Type inference and informative error reporting for secure information flow
Proceedings of the 44th annual Southeast regional conference
Flow-insensitive type qualifiers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complexity of subtype satisfiability over posets
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Extending hindley-milner type inference with coercive structural subtyping
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Survey: Colouring, constraint satisfaction, and complexity
Computer Science Review
Hi-index | 0.00 |