Bowen Zhou, Bing Xiang, et al.
SSST 2008
This paper describes how authors have combined a number of tools (most of which are tailored to a particular programming language) into a single system to aid in the reading, writing, and running of programs. Discussed is the efficacy and the structure of two such systems, one of which has been used to build several large application programs.
Bowen Zhou, Bing Xiang, et al.
SSST 2008
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science