2 papers
cs.PL2023
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Wenjie Ma, Shengyuan Yang, Tian Tan +3
Over the past decades, context sensitivity has been considered as one of the most effective ideas for improving the precision of pointer analysis for Java. However, despite great p…
math.NT2021
Some q-supercongruences on double and triple sums
Xiaoxia Wang, Chang Xu
In this paper, we investigate a number of -supercongruences on double and triple sums. By means of a lemma devised by El Bachraoui and its generalization, we transform some -…