Quinn Pham, Danila Seliayeu, et al.
CASCON 2024
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.
Quinn Pham, Danila Seliayeu, et al.
CASCON 2024
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Robert C. Durbeck
IEEE TACON