Lixi Zhou, Jiaqing Chen, et al.
VLDB
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.
Lixi Zhou, Jiaqing Chen, et al.
VLDB
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Reena Elangovan, Shubham Jain, et al.
ACM TODAES