Yao Qi, Raja Das, et al.
ISSTA 2009
In any area of systems design, the programming notation or language plays a key role. The programming notation or language used in the description of a system must fulfill several requirements: it must be universal enough to conveniently describe programs appropriate to each of the elements embraced in a system; must be precise; and be further concise and subject to formal manipulation. As an illustration, a programming language developed for, and already applied in, a variety of areas is presented.
Yao Qi, Raja Das, et al.
ISSTA 2009
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025