Sciweavers

POPL
2015
ACM
8 years 7 months ago
Algebraic Effects, Linearity, and Quantum Programming Languages
We develop a new framework of algebraic theories with linear parameters, and use it to analyze the equational reasoning principles of quantum computing and quantum programming lan...
Sam Staton
POPL
2015
ACM
8 years 7 months ago
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
Building a summary for library code is a common approach to speeding up the analysis of client code. In presence of callbacks, some reachability relationships between library node...
Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, ...