6 citations · 15 across the 6 of their papers we have counts for
8 papers
A Derivative-based Parser Generator for Visibly Pushdown Grammars
Xiaodong Jia, Ashish Kumar, Gang Tan
In this paper, we present a derivative-based, functional recognizer and parser generator for visibly pushdown grammars. The generated parser accepts ambiguous grammars and produces…
Separating minimal valuations, point-continuous valuations and continuous valuations
Jean Goubault-Larrecq, Xiaodong Jia
We give two concrete examples of continuous valuations on dcpo's to separate minimal valuations, point-continuous valuations and continuous valuations: (1) Let be the…
A Domain-Theoretic Approach to Statistical Programming Languages
Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
We give a domain-theoretic semantics to a statistical programming language, using the plain old category of dcpos, in contrast to some more sophisticated recent proposals. Remarkab…
Commutative Monads for Probabilistic Programming Languages
Xiaodong Jia, Bert Lindenhovius, Michael Mislove +1
A long-standing open problem in the semantics of programming languages supporting probabilistic choice is to find a commutative monad for probability on the category DCPO. In this…
Completing Simple Valuations in K-categories
Xiaodong Jia, Michael Mislove
We prove that Keimel and Lawson's K-completion Kc of the simple valuation monad Vs defines a monad Kc o Vs on each K-category A. We also characterize the Eilenberg-Moore algebras o…
Core-compactness of Smyth powerspaces
Zhenchao Lyu, Xiaodong Jia
We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powe…