1 paper
Yong Xiao, Zena M. Ariola, Michel Mauny
Recent years have seen an increasing need of high-level specification languages and tools generating code from specifications. In this paper, we introduce a specification language,…