Program analysis with partial transfer functions
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Propagating differences: an efficient new fixpoint algorithm for distributive constraint systems
Nordic Journal of Computing
Efficient groundness analysis in Prolog
Theory and Practice of Logic Programming
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis
Software Quality Control
Computationally sound secrecy proofs by mechanized flow analysis
Proceedings of the 13th ACM conference on Computer and communications security
Efficient field-sensitive pointer analysis of C
ACM Transactions on Programming Languages and Systems (TOPLAS)
Points-to analysis as a system of linear equations
SAS'10 Proceedings of the 17th international conference on Static analysis
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
Science of Computer Programming
Hi-index | 0.00 |