Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and 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.
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010