Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
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.
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014