Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Garbage collection and local variable type-precision and liveness in Java virtual machines
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |