We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...
So far, most Chinese natural language processing neglects the punctuations or oversimplifies their functi- ons. To improve the efficiency of Chinese similarity computing, this pap...
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...